Some model theory for monotone quantifiers

DOI10.1007/BF02007264zbMATH Open0365.02042OpenAlexW2050102558MaRDI QIDQ4141237FDOQ4141237

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

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Model theory (03C99)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Elementary induction on abstract structures
• Model theory
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• δ-Logics and generalized quantifiers
• Compact extensions of L(Q) (part 1a)
• Logic with the quantifier “there exist uncountably many”
• Topological model theory with an interior operator: Consistency properties and back — and forth arguments
• Structures for a logic with additional generalized quantifier
• Überfür-fast-alle-Quantoren

Cited In (10)

• European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988
• Topological model theory with an interior operator: Consistency properties and back — and forth arguments
• Problemi di decidibilita in logica topologica
• Dependence logic with generalized quantifiers: axiomatizations
• Completeness and interpolation of almost-everywhere quantification over finitely additive measures
• The theorems of beth and Craig in abstract model theory II. Compact logics
• On simplicity of formulas
• Interpolation in Logiken monotoner systeme
• The abstract variable-binding calculus
• Algebraic analysis of the logic with the quantifier there exist uncountably many

This page was built for publication: Some model theory for monotone quantifiers

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