Around classification theory of models
From MaRDI portal
Publication:1088651
zbMath0613.03009MaRDI QIDQ1088651
Publication date: 1986
Published in: Lecture Notes in Mathematics (Search for Journal in Brave)
modulesBoolean algebrasAbelian groupsfinite modelstopological spacesindependence resultsclassification theoryinfinitary languagescardinal functionsstationary codinggeneralized quantifiers on infinite universes
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Consistency and independence results (03E35) Other combinatorial set theory (03E05) Classification theory, stability, and related concepts in model theory (03C45)
Related Items
Explicitly non-standard uniserial modules ⋮ Non-regular ultrafilters ⋮ Simple monadic theories and partition width ⋮ Existence of many \(L_{\infty,\lambda}\)-equivalent, non-isomorphic models of T of power \(\lambda\) ⋮ On the number of strongly \(\aleph _{\epsilon}\)-saturated models of power \(\lambda\) ⋮ Moduli uniseriali non standard ⋮ Large cardinals and definable counterexamples to the continuum hypothesis ⋮ On certain indestructibility of strong cardinals and a question of Hajnal ⋮ Notes on monadic logic. A: Monadic theory of the real line ⋮ Abstract classes with few models have ‘homogeneous-universal’ models ⋮ Saturated filters at successors of singulars, weak reflection and yet another weak club principle ⋮ Toward classifying unstable theories ⋮ There is no bound on sizes of indecomposable Banach spaces ⋮ APPLICATIONS OF PCF THEORY TO THE STUDY OF IDEALS ON ⋮ THE PSEUDOPOWER DICHOTOMY ⋮ Less saturated ideals ⋮ Baire irresolvable spaces and lifting for a layered ideal ⋮ On the number of ${L}_{\infty \omega _1}$-equivalent non-isomorphic models ⋮ Categoricity of theories in \(L_{\kappa \omega}\), with \(\kappa\) a compact cardinal ⋮ Large cardinals imply that every reasonably definable set of reals is Lebesgue measurable ⋮ When \(P_\kappa(\lambda)\) (vaguely) resembles \(\kappa\) ⋮ A dependent theory with few indiscernibles ⋮ On the existence of skinny stationary subsets ⋮ The primal framework. II: Smoothness ⋮ RAMSEY GROWTH IN SOME NIP STRUCTURES ⋮ More on cardinal invariants of Boolean algebras ⋮ On non-forking spectra ⋮ More on simple forcing notions and forcings with ideals ⋮ Characterizations of monadic NIP ⋮ Two cardinal versions of diamond ⋮ Forcings with ideals and simple forcing notions ⋮ On non-standard uniserial modules over valuation domains and their quotients ⋮ On the Weak Reflection Principle ⋮ Categoricity over P for first order T or categoricity for \(\phi\) \(\in {\mathcal L}_{\omega_ 1\omega}\) can stop at \(\aleph_ k\) while holding for \(\aleph_ 0,\dots ,\aleph_{k-1}\) ⋮ Nonreflecting stationary sets in \(\mathcal P_{\kappa}\lambda\) ⋮ Large ideals on small cardinals ⋮ Forcing minimal extensions of Boolean algebras
