A finitely axiomatizable complete theory with atomlessF 1(T)
- 1 December 1971
- journal article
- Published by Springer Nature in Archive for Mathematical Logic
- Vol. 14 (3) , 162-166
- https://doi.org/10.1007/bf01991852
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- No-categoricity in first-order predicate calculus1Theoria, 2008
- Minimal- und PrimmodelleArchive for Mathematical Logic, 1966
- On minimal models of first‐order systemsTheoria, 1960
- Äquivalenzklassen von n‐TupelnMathematical Logic Quarterly, 1959