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

DOI10.1112/JLMS/53.3.455MaRDI QIDQ4894533zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 4091496
• The amalgamation property in normal open induction
• A note on subsystems of open induction
• The joint embedding property in normal open induction
• Quadratic forms in normal open induction

Cited in

(8)

• A note on subsystems of open induction
• The joint embedding property in normal open induction
• Trois theoremes sur l'induction pour les formules ouvertes munies de l'exponentielle
• Bootstrapping. I
• Discrete orderings in the real spectrum
• NEARNESS RELATIONS IN DISCRETELY ORDERED RINGS
• Quadratic forms in normal open induction
• scientific article; zbMATH DE number 4091496 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4894533)