L'Induction Ouverte Dans Les Anneaux Discrets Ordonnes et Normaux N'est pas Finiment Axiomatisable

DOI10.1112/JLMS/53.3.455zbMath0862.06006OpenAlexW2327839450MaRDI QIDQ4894533

Sedki Boughattas

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

zbMATH Keywords

saturationfinite axiomatizabilitynormal open inductiondiscrete ordered rings

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Ordered rings, algebras, modules (06F25)

Related Items (4)

Discrete orderings in the real spectrum ⋮ Bootstrapping. I ⋮ A note on subsystems of open induction ⋮ Trois theoremes sur l'induction pour les formules ouvertes munies de l'exponentielle

This page was built for publication: L'Induction Ouverte Dans Les Anneaux Discrets Ordonnes et Normaux N'est pas Finiment Axiomatisable