Categoricity without equality

DOI10.4064/FM170-1-5zbMath0993.03045OpenAlexW2028491863MaRDI QIDQ2773239

Arnold W. Miller, H. Jerome Keisler

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

reduced modelscomplete theoriescategoricity in powerfirst-order logic without equality

Mathematics Subject Classification ID

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

Related Items (4)

Omitting types for infinitary \([0,1\)-valued logic] ⋮ MAXIMALITY OF LOGIC WITHOUT IDENTITY ⋮ Omitting uncountable types and the strength of \([0,1\)-valued logics] ⋮ Omitting types theorem in hybrid dynamic first-order logic with rigid symbols

This page was built for publication: Categoricity without equality