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

absolute logicback and forth propertiesLindström quantifierLindström theoremMostowski quantifiersoft model theory

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) History of mathematical logic and foundations (03-03) Other infinitary logic (03C75) Logic with extra quantifiers and operators (03C80) Abstract model theory (03C95)

Review text

This is a short survey of abstract model theory, with particular reference to Barwise's work. Lindström's 1966 theorem states that there is no extension of first-order logic satisfying countable compactness together with the downward Löwenheim-Skolem theorem. Barwise obtained similar characterizations of certain infinitary languages. The program of soft model theory was to introduce several extensions of first-order logic and proving general results about compactness, interpolation and Löwenheim-Skolem properties. As noted by the author, the program encoutered many difficulties: what was first called soft model theory turned out to be as hard as hard model theory. Topics covered by this paper include Mostowski and Lindström quantifiers, back-and-forth properties, Lindström-like characterizations, absolute logics. Most of these topics are exhaustively treated in the book: Model-theoretic logics, edited by J. Barwise and S. Feferman [New York: Springer (1985; Zbl 0587.03001)].

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

• 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
• scientific article; zbMATH DE number 4086980 (Why is no real title available?)
• 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

(10)

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

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)