Barwise: Abstract Model Theory and Generalized Quantifiers

DOI10.2178/BSL/1080330273MaRDI QIDQ4678933zbMATH OpenOpenAlexFDO

Authors Jouko Väänänen

Publication date 24 May 2005

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

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

zbMATH Keywords

soft model theoryLindström quantifierMostowski quantifierabsolute logicback and forth propertiesLindström theorem

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) Abstract model theory (03C95) Other infinitary logic (03C75)

Recommendations

• scientific article; zbMATH DE number 3941493
• scientific article; zbMATH DE number 3935021
• A generalization of abstract model theory
• scientific article; zbMATH DE number 1163931
• Nice infinitary logics

Cites work

• scientific article; zbMATH DE number 4086980 (Why is no real title available?)
• A correction to “stationary logic”
• Absolute logics and L∞ω
• Axioms for abstract model theory
• Etude de Certains Operateurs Dans Les Classes de Relations, Definis A Partir D'isomorphismes Restreints
• Generalized quantifiers and natural language
• Infinitary logic and admissible sets
• Logic with the quantifier “there exist uncountably many”
• Model theory via set theory
• One hundred and two problems in mathematical logic
• Remarks in abstract model theory
• Some applications of Henkin quantifiers
• 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

Cited in

(8)

• A General Theory of Barbs, Contexts, and Labels
• Homomorphisms from Functional Equations in Probability
• On compactness of logics that can express properties of symmetry or connectivity
• Completeness and interpolation of almost-everywhere quantification over finitely additive measures
• scientific article; zbMATH DE number 3880649 (Why is no real title available?)
• Strong downward Löwenheim-Skolem theorems for stationary logics. I
• scientific article; zbMATH DE number 4031664 (Why is no real title available?)
• Lindström theorems in graded model theory

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

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