A Simple Construction of Robinson Equivalence Relations

DOI10.2307/2046565MaRDI QIDQ3808080zbMATH OpenOpenAlexFDO

Authors Daniele Mundici

Publication date 1987

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

zbMATH Keywords

abstract logicelementary equivalencelimit ultrapowersmodel theoretic logicsRobinson equivalence relation

Mathematics Subject Classification ID

Ultraproducts and related constructions (03C20) Abstract model theory (03C95)

Recommendations

• scientific article; zbMATH DE number 3954884
• Constructive ultraproducts and isomorphisms of recursively saturated ultrapowers
• scientific article; zbMATH DE number 3950501
• scientific article; zbMATH DE number 638366
• scientific article; zbMATH DE number 761285
• scientific article; zbMATH DE number 981607
• Axiomatizing universal properties of quantifiers
• An alternative proof of the ultralimits theorem
• Generic variations of models ofT
• Properties of Elementary Embeddability in Model Theory

Cites work

• An algebraic result about soft model theoretical equivalence relations with an application to H. Friedman's fourth problem
• An Arbitrary Equivalence Relation as Elementary Equivalence in an Abstract Logic
• Duality Between Logics and Equivalence Relations
• Embeddings, amalgamation and elementary equivalence: the representation of compact logics
• scientific article; zbMATH DE number 3941493 (Why is no real title available?)
• scientific article; zbMATH DE number 3954884 (Why is no real title available?)
• Interpretation of AF C^*-algebras in Łukasiewicz sentential calculus
• Model theory

Cited in

(1)

• scientific article; zbMATH DE number 3954884 (Why is no real title available?)

This page was built for publication: A Simple Construction of Robinson Equivalence Relations

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