Σ1 compactness for next admissible sets
From MaRDI portal
Publication:4774042
DOI10.2307/2272350zbMath0286.02059MaRDI QIDQ4774042
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
03C99: Model theory
03C75: Other infinitary logic
03C35: Categoricity and completeness of theories
03C68: Other classical first-order model theory
Related Items
Countably decomposable admissible sets, Uncountable admissibles. II: Compactness, The limits of E-recursive enumerability
Cites Work