An algebraic result about soft model theoretical equivalence relations with an application to H. Friedman's fourth problem

DOI10.2307/2273754zbMath0465.03020OpenAlexW1980978896MaRDI QIDQ3916560

Daniele Mundici

Publication date: 1981

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273754

zbMATH Keywords

elementary equivalenceRobinson consistency theoremcountable structures of finite typeequivalence relations between structuresLindström-type theorems

Mathematics Subject Classification ID

Properties of classes of models (03C52) Interpolation, preservation, definability (03C40) Model theory of denumerable and separable structures (03C15) Categoricity and completeness of theories (03C35) Abstract model theory (03C95)

Related Items (3)

The metatheory of the classical propositional calculus is not axiomatizable ⋮ Duality Between Logics and Equivalence Relations ⋮ A Simple Construction of Robinson Equivalence Relations

Cites Work

• Axioms for abstract model theory
• δ-Logics and generalized quantifiers
• Stationary logic

This page was built for publication: An algebraic result about soft model theoretical equivalence relations with an application to H. Friedman's fourth problem