Model constructions in stationary logic. Part I. Forcing

DOI10.2307/2273413zbMATH Open0479.03021OpenAlexW2152256008MaRDI QIDQ3936726FDOQ3936726

Authors: 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

compactnesscompletenessomitting 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

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

This page was built for publication: Model constructions in stationary logic. Part I. Forcing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3936726)