Barwise: Abstract Model Theory and Generalized Quantifiers

DOI10.2178/BSL/1080330273zbMath1074.03017OpenAlexW2125398926MaRDI QIDQ4678933

Jouko Väänänen

Publication date: 24 May 2005

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

Full work available at URL: https://doi.org/10.2178/bsl/1080330273

zbMATH Keywords

Lindström quantifierLindström theoremsoft model theoryMostowski quantifierabsolute logicback and forth properties

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Logic with extra quantifiers and operators (03C80) History of mathematical logic and foundations (03-03) Other infinitary logic (03C75) Abstract model theory (03C95)

Related Items (4)

Homomorphisms from Functional Equations in Probability ⋮ Strong downward Löwenheim-Skolem theorems for stationary logics. I ⋮ Completeness and interpolation of almost-everywhere quantification over finitely additive measures ⋮ On compactness of logics that can express properties of symmetry or connectivity

Cites Work

• Unnamed Item
• Remarks in abstract model theory
• Some applications of Henkin quantifiers
• Model theory via set theory
• A correction to “stationary logic”
• The role of the Omitting Types Theorem in infinitary logic
• The theorems of beth and Craig in abstract model theory II. Compact logics
• Generalized quantifiers and natural language
• One hundred and two problems in mathematical logic
• Axioms for abstract model theory
• Stationary logic
• Etude de Certains Operateurs Dans Les Classes de Relations, Definis A Partir D'isomorphismes Restreints
• Logic with the quantifier “there exist uncountably many”
• Infinitary logic and admissible sets
• Absolute logics and L∞ω

This page was built for publication: Barwise: Abstract Model Theory and Generalized Quantifiers