Model constructions in stationary logic. Part I. Forcing

DOI10.2307/2273413MaRDI QIDQ3936726zbMATH OpenOpenAlexFDO

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

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