Some applications of model theory in set theory

DOI10.1016/0003-4843(71)90010-6zbMath0215.32404OpenAlexW4205815734WikidataQ56210278 ScholiaQ56210278MaRDI QIDQ5618359

Jack H. Silver

Publication date: 1971

Published in: Annals of Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0003-4843(71)90010-6

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62)

Related Items

\(\omega_ 1\)-constructible universe and measurable cardinals, LOGICALITY AND MODEL CLASSES, On -Strongly Measurable Cardinals, The Härtig quantifier: a survey, The axiom of determinacy and the modern development of descriptive set theory, Instances of dependent choice and the measurability of \(\aleph _{\omega +1}\), Bounds on Scott rank for various nonelementary classes, The model \(N=\cup \{L[A:\) A countable set of ordinals\(\}\)], The Hanf Number of the First Order Theory of Banach Spaces, Regressive partitions and Borel diagonalization, Boundedness theorems for flowers and sharps, Countable ordinals in indiscernibility spectra, Exponents of some N-compact spaces, Set theory and the analyst, On projective ordinals, Boolean extensions which efface the Mahlo property, A remark on the tree property in a choiceless context, Singular Cardinals and the PCF Theory, Standard models of set theory with predication, Kunen and set theory, 0^{♯} and elementary end extensions of 𝑉_{𝜅}, Canonical Partition Relations, Definable Ramsey and definable Erdös ordinals, Core models, On the consistency of self-referential systems, A saturation property of ideals and weakly compact cardinals, Rowbottom cardinals and Jonsson cardinals are almost the same, Banach Spaces from Barriers in High Dimensional Ellentuck Spaces, Models of real-valued measurability, The consistency strength of \(\aleph_\omega\) and \(\aleph_{\omega_1}\) being Rowbottom cardinals without the axiom of choice, Cohesive Sets: Countable and Uncountable, Patterns of resemblance of order 2, Surrealist landscape with figures (a survey of recent results in set theory), Successors of singular cardinals and measurability, A functorial \(\pi ^ 1_ 2\) singleton, Generalized Quantifiers and Compact Logic, Subtle cardinals and linear orderings, CLASSES OF BARREN EXTENSIONS, On the standard part of nonstandard models of set theory, Forcing and reducibilities. III. Forcing in fragments of set theory