Some model theory for monotone quantifiers
From MaRDI portal
Publication:4141237
DOI10.1007/BF02007264zbMath0365.02042OpenAlexW2050102558MaRDI QIDQ4141237
Sauro Tulipani, Johann A. Makowsky
Publication date: 1977
Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/137934
Related Items (10)
Algebraic analysis of the logic with the quantifier there exist uncountably many ⋮ Dependence logic with generalized quantifiers: axiomatizations ⋮ The abstract variable-binding calculus ⋮ European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988 ⋮ Problemi di decidibilita in logica topologica ⋮ On simplicity of formulas ⋮ Topological model theory with an interior operator: Consistency properties and back — and forth arguments ⋮ The theorems of beth and Craig in abstract model theory II. Compact logics ⋮ Interpolation in Logiken monotoner systeme ⋮ Completeness and interpolation of almost-everywhere quantification over finitely additive measures
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Elementary induction on abstract structures
- Model theory
- Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
- Topological model theory with an interior operator: Consistency properties and back — and forth arguments
- δ-Logics and generalized quantifiers
- Compact extensions of L(Q) (part 1a)
- Structures for a logic with additional generalized quantifier
- Logic with the quantifier “there exist uncountably many”
- Überfür-fast-alle-Quantoren
This page was built for publication: Some model theory for monotone quantifiers