Trois theoremes sur l'induction pour les formules ouvertes munies de l'exponentielle

DOI10.2307/2586527zbMath0959.03023OpenAlexW2019032683MaRDI QIDQ4953210

Sedki Boughattas

Publication date: 28 June 2000

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2586527

zbMATH Keywords

exponentiationopen inductiondiscrete ordered rings

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) First-order arithmetic and fragments (03F30) Models of arithmetic and set theory (03C62) Ordered rings, algebras, modules (06F25)

Related Items (2)

Arithmetization of the field of reals with exponentiation extended abstract ⋮ Bootstrapping. I

Cites Work

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

This page was built for publication: Trois theoremes sur l'induction pour les formules ouvertes munies de l'exponentielle