Duality Between Logics and Equivalence Relations
From MaRDI portal
Publication:3960670
DOI10.2307/1999763zbMath0497.03018MaRDI QIDQ3960670
Publication date: 1982
Full work available at URL: https://doi.org/10.2307/1999763
03C30: Other model constructions
Related Items
A lower bound for the complexity of Craig's interpolants in sentential logic, Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus, Natural limitations of decision procedures for arithmetic with bounded quantifiers, A Simple Construction of Robinson Equivalence Relations
Cites Work
- Unnamed Item
- Model theory
- Robinson's Consistency Theorem in Soft Model Theory
- Embeddings, amalgamation and elementary equivalence: the representation of compact logics
- Theorems of Beth and Craig in Abstract Model Theory. I The Abstract Settin
- An Arbitrary Equivalence Relation as Elementary Equivalence in an Abstract Logic
- Applications of Many‐Sorted Robinson Consistency Theorem
- An algebraic result about soft model theoretical equivalence relations with an application to H. Friedman's fourth problem
- Compactness, interpolation and Friedman's third problem
- Two notes on abstract model theory. I. Properties invariant on the range of definable relations between structures
- One hundred and two problems in mathematical logic
- Axioms for abstract model theory
- δ-Logics and generalized quantifiers
- On Extensions of Elementary Logic