Model constructions in stationary logic. Part I. Forcing

DOI10.2307/2273413zbMath0479.03021OpenAlexW2152256008MaRDI QIDQ3936726

Kim B. Bruce

Publication date: 1980

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

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

zbMATH Keywords

completenesscompactnessomitting typescountable fragmentcountable admissible setdeep axiomtruth lemma

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Other infinitary logic (03C75) Model-theoretic forcing (03C25) Logic on admissible sets (03C70)

Cites Work

• Model-Theoretic Forcing in Logic With a Generalized Quantifier
• Compact extensions of L(Q) (part 1a)
• Countable approximations and Löwenheim-Skolem theorems
• Stationary logic
• Logic with the quantifier “there exist uncountably many”
• Some combinatorial problems concerning uncountable cardinals