Martin's Axiom Applied to Existentially Closed Groups.
Matrix identities involving multiplication and transposition
We study matrix identities involving multiplication and unary operations such as transposition or Moore–Penrose inversion. We prove that in many cases such identities admit no finite basis.
Maximale monadische Logiken.
Meager forking and -independence.
Mehrsortige logische Systeme mit unendlich langen Formeln I.
Mehrsortige logische Systeme mit unendlich langen Formeln II.
Mengentheoretische Modelle des ...K-Kalküls.
Metamathematical discussion of some affine geometries
Metamathematische Begriffe in Standardtheorien.
Metric abstract elementary classes with perturbations
We define an abstract setting suitable for investigating perturbations of metric structures generalizing the notion of a metric abstract elementary class. We show how perturbation of Hilbert spaces with an automorphism and atomic Nakano spaces with bounded exponent fit into this framework, where the perturbations are built into the definition of the class being investigated. Further, assuming homogeneity and some other properties true in the example classes, we develop a notion of independence for...
Metric groups, unitary representations and continuous logic
We describe how properties of metric groups and of unitary representations of metric groups can be presented in continuous logic. In particular we find -axiomatization of amenability. We also show that in the case of locally compact groups some uniform version of the negation of Kazhdan’s property (T) can be viewed as a union of first-order axiomatizable classes. We will see when these properties are preserved under taking elementary substructures.
m-existentially complete structures
Minimal ultrafilters and maximal endomorphic universes
m-normal theories
Originally, m-independence, ℳ -rank, m-stability and m-normality were defined only for small stable theories. Here we extend the definitions to an arbitrary small countable complete theory. Then we investigate these notions in the new, broader context. As a consequence we show that any superstable theory with countable models is m-normal. In particular, any *-algebraic group interpretable in such a theory is abelian-by-finite.
Model theoretic approach to topological functors
Model theoretic methods in the theory of topological fields.
Model theory for infinite quantifier languages
Model theory for logic.
Model Theory for Lam Logic
Model theory of fields: An application to positive semidefinite polynomials