The complete finitely axiomatized theories of order are dense
From MaRDI portal
Publication:1231486
DOI10.1007/BF02761800zbMath0341.02041MaRDI QIDQ1231486
Publication date: 1976
Published in: Israel Journal of Mathematics (Search for Journal in Brave)
Related Items (2)
The Boolean algebra of the theory of linear orders ⋮ On quantifier-rank equivalence between linear orders
Cites Work
This page was built for publication: The complete finitely axiomatized theories of order are dense