Barwise: Abstract Model Theory and Generalized Quantifiers

DOI10.2178/BSL/1080330273zbMATH Open1074.03017OpenAlexW2125398926MaRDI QIDQ4678933FDOQ4678933

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

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

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)

Cites Work

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

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
• Title not available (Why is that?)
• Strong downward Löwenheim-Skolem theorems for stationary logics. I
• Title not available (Why is that?)
• 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)