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

DOI10.1112/JLMS/53.3.455zbMATH Open0862.06006OpenAlexW2327839450MaRDI QIDQ4894533FDOQ4894533

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

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

zbMATH Keywords

saturationfinite axiomatizabilitynormal open inductiondiscrete ordered rings

Mathematics Subject Classification ID

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

Cited In (8)

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

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)