More on locally atomic models
More on the Ehrenfeucht-Fraisse game of length ω₁
By results of [9] there are models and for which the Ehrenfeucht-Fraïssé game of length ω₁, , is non-determined, but it is consistent relative to the consistency of a measurable cardinal that no such models have cardinality ≤ ℵ₂. We now improve the work of [9] in two ways. Firstly, we prove that the consistency strength of the statement “CH and is determined for all models and of cardinality ℵ₂” is that of a weakly compact cardinal. On the other hand, we show that if , T is a countable complete...
More reflections on compactness
We consider the question of when , where is the elementary submodel topology on X ∩ M, especially in the case when is compact.
Morley numbers for generalized languages
Mostowski's collapsing function and the closed unbounded filter
Multilinearity of sketches.
Multirelation et âge 1-extensifs
Mutually generic classes and incompatible expansions
n - Infinite Forcing via Infinite Forcing
Nice local global fields. IV.
Nichtaxiomatisierbarkeit von Satzmengen durch Ausdrücke spezieller Gestalt
Non standard arithmetic and application to height functions
Non-axiomatizability of real general affine geometry
Non-axiomatizability of real spectra in
We show that the property of a spectral space, to be a spectral subspace of the real spectrum of a commutative ring, is not expressible in the infinitary first order language of its defining lattice. This generalises a result of Delzell and Madden which says that not every completely normal spectral space is a real spectrum.
Non-axiomatizable classes of V-topological fields.
Nondeterminism and fully abstract models
Non-finitizability of a weak second-order theory
Non-minimalité de la clôture différentielle I : la preuve de S. Shelah
Non-minimalité de la clôture différentielle II : la preuve de M. Rosenlicht
Non-multidimensional theories without groups