Boolean valued models and generalized quantifiers

DOI10.1016/0003-4843(80)90005-4zbMath0484.03017OpenAlexW2133292748MaRDI QIDQ3942942

Jouko Väänänen

Publication date: 1980

Published in: Annals of Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0003-4843(80)90005-4

zbMATH Keywords

decision problemsMartin's axiomsatisfiabilityBoolean extension of the constructible universeexpressive power of sentences with a generalized quantifierHaertig- quantifier

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Logic with extra quantifiers and operators (03C80) Second- and higher-order model theory (03C85) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Related Items

LOGICALITY AND MODEL CLASSES ⋮ The Härtig quantifier: a survey ⋮ Abstract logic and set theory. II. Large cardinals ⋮ ON LÖWENHEIM–SKOLEM–TARSKI NUMBERS FOR EXTENSIONS OF FIRST ORDER LOGIC ⋮ Calculus with the quantifier of elementary equivalence