Barwise: Abstract Model Theory and Generalized Quantifiers
From MaRDI portal
Publication:4678933
soft model theoryLindström quantifierMostowski quantifierabsolute logicback and forth propertiesLindström theorem
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
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)