L'Induction Ouverte Dans Les Anneaux Discrets Ordonnes et Normaux N'est pas Finiment Axiomatisable
From MaRDI portal
Publication:4894533
DOI10.1112/jlms/53.3.455zbMath0862.06006MaRDI QIDQ4894533
Publication date: 25 May 1997
Published in: Journal of the London Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1112/jlms/53.3.455
Related Items
Trois theoremes sur l'induction pour les formules ouvertes munies de l'exponentielle, A note on subsystems of open induction, Bootstrapping. I, Discrete orderings in the real spectrum