Abstract
AbstractWe completely characterize the logical hierarchy of subsystems of open induction introduced by Boughattas [1].
Publisher
Cambridge University Press (CUP)
Reference5 articles.
1. A non-standard model for a free variable fragment of number theory;Shepherdson;Bulletin de l'Académie Polonaise des Sciences,1964
2. L'Induction Ouverte Dans Les Anneaux Discrets Ordonnes et Normaux N'est pas Finiment Axiomatisable
3. Inverse Galois Theory