Network


Latest external collaboration on country level. Dive into details by clicking on the dots.

Hotspot


Dive into the research topics where Martin Weese is active.

Publication


Featured researches published by Martin Weese.


Proceedings of the American Mathematical Society | 1982

Undecidable theories in stationary logic

Detlef Seese; Peter Tuschik; Martin Weese

It is shown that the theories of the following classes become undecidable in stationary logic: Well orderings with one unary predicate, linear orderings, and Boolean algebras. This is done by interpreting the theory of symmetric reflexive graphs.


Mathematical Logic Quarterly | 1992

A DIRECT PROOF OF A RESULT OF SHELAH

Martin Weese

Shelah has shown (see [1]) that the number d, the smallest cardinality of a dominating family, is less than or equal to the number i, the smallest cardinality of a maximal independent family on ω. This was done using a downward Lowenheim-Skolem argument. Thus it is interesting to find a direct “elementary” proof. Here we show that this can be done.


Mathematical Logic Quarterly | 1976

The Isomorphism Problem of Superatomic Boolean Algebras

Martin Weese


Archive | 1976

The universality of boolean algebras with the Härtig quantifier

Martin Weese


Mathematical Logic Quarterly | 1981

Decidability with Respect to Härtig Quantifier and Rescher Quantifier

Martin Weese


Mathematical Logic Quarterly | 1975

Zum Isomorphieproblem der Booleschen Algebren

Martin Weese


Mathematical Logic Quarterly | 1986

The Theory of Boolean Algebras With Q0 and Quantification Over Ideals

Martin Weese


Mathematical Logic Quarterly | 1982

L(aa)-Elementary Types of Well-Orderings

Detlef Seese; Martin Weese


Mathematical Logic Quarterly | 1978

Definierbare Prdikate in Booleschen Algebren II

Martin Weese


Mathematical Logic Quarterly | 1977

Definierbare Prädikate in Booleschen Algebren I

Martin Weese

Collaboration


Dive into the Martin Weese's collaboration.

Researchain Logo
Decentralizing Knowledge