Some model theory for monotone quantifiers
From MaRDI portal
Publication:4141237
Cites work
- scientific article; zbMATH DE number 3494394 (Why is no real title available?)
- scientific article; zbMATH DE number 3532912 (Why is no real title available?)
- scientific article; zbMATH DE number 3269003 (Why is no real title available?)
- Compact extensions of L(Q) (part 1a)
- Elementary induction on abstract structures
- Logic with the quantifier “there exist uncountably many”
- Model theory
- Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
- Structures for a logic with additional generalized quantifier
- Topological model theory with an interior operator: Consistency properties and back — and forth arguments
- Überfür-fast-alle-Quantoren
- δ-Logics and generalized quantifiers
Cited in
(10)- Topological model theory with an interior operator: Consistency properties and back — and forth arguments
- Algebraic analysis of the logic with the quantifier there exist uncountably many
- Problemi di decidibilita in logica topologica
- European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988
- On simplicity of formulas
- Dependence logic with generalized quantifiers: axiomatizations
- Completeness and interpolation of almost-everywhere quantification over finitely additive measures
- The abstract variable-binding calculus
- Interpolation in Logiken monotoner systeme
- The theorems of beth and Craig in abstract model theory II. Compact logics
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)
