Categoricity without equality
From MaRDI portal
Publication:2773239
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
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