Σ1 compactness for next admissible sets

DOI10.2307/2272350zbMath0286.02059OpenAlexW1551473042MaRDI QIDQ4774042

Judy Green

Publication date: 1974

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2272350

Mathematics Subject Classification ID

Model theory (03C99) Other infinitary logic (03C75) Categoricity and completeness of theories (03C35) Other classical first-order model theory (03C68)

Related Items

The limits of E-recursive enumerability ⋮ Countably decomposable admissible sets ⋮ Chain logic and Shelah's infinitary logic ⋮ Uncountable admissibles. II: Compactness

Cites Work

• Hanf numbers for fragments of L\(_{\infty \omega}\)
• A UNIFYING PRINCIPAL IN QUANTIFICATION THEORY