Categoricity without equality

DOI10.4064/FM170-1-5MaRDI QIDQ2773239zbMATH OpenOpenAlexFDO

Authors H. Jerome Keisler, Arnold W. Miller

Publication date 21 February 2002

Published in Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.4064/fm170-1-5

zbMATH Keywords

categoricity in powercomplete theoriesfirst-order logic without equalityreduced models

Mathematics Subject Classification ID

Categoricity and completeness of theories (03C35) Other classical first-order model theory (03C68) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Recommendations

• Characterizing classes defined with equality
• scientific article; zbMATH DE number 3884158
• On elementary equivalence for equality-free logic
• Categoricity over P for first order T or categoricity for \(\phi\) \(\in {\mathcal L}_{\omega_ 1\omega}\) can stop at \(\aleph_ k\) while holding for \(\aleph_ 0,\dots ,\aleph_{k-1}\)
• Model theory without choice? Categoricity

Cited in

(6)

• Characterizing classes defined with equality
• Omitting types theorem in hybrid dynamic first-order logic with rigid symbols
• Omitting uncountable types and the strength of \([0,1]\)-valued logics
• Omitting types for infinitary \([0,1]\)-valued logic
• MAXIMALITY OF LOGIC WITHOUT IDENTITY
• Model-theoretic forcing in transition algebra

This page was built for publication: Categoricity without equality

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