A theorem on permutations in models
- 1 December 1959
- Vol. 25 (3) , 173-178
- https://doi.org/10.1111/j.1755-2567.1959.tb00301.x
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- No-categoricity in first-order predicate calculus1Theoria, 2008
- Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theoryThe Journal of Symbolic Logic, 1957
- Models of axiomatic theories admitting automorphismsFundamenta Mathematicae, 1956
- A Result on Consistency and its Application to theTheory of DefinitionIndagationes Mathematicae, 1956
- On Padoa’s Method in the Theory of DefinitionIndagationes Mathematicae, 1953