A note on subsystems of open induction

DOI10.2178/JSL/1203350788MaRDI QIDQ5444702zbMATH OpenOpenAlexFDO

Authors S. Mohsenipour

Publication date 25 February 2008

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

Full work available at URL https://projecteuclid.org/euclid.jsl/1203350788

zbMATH Keywords

Galois theoryopen induction

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Nonstandard models of arithmetic (03H15) Separable extensions, Galois theory (12F10)

Recommendations

• Hierarchies of Subsystems of Weak Arithmetic
• L'Induction Ouverte Dans Les Anneaux Discrets Ordonnes et Normaux N'est pas Finiment Axiomatisable
• scientific article; zbMATH DE number 1157123
• Primes and their residue rings in models of open induction
• scientific article; zbMATH DE number 4091496

Cites work

• scientific article; zbMATH DE number 1341901 (Why is no real title available?)
• L'Induction Ouverte Dans Les Anneaux Discrets Ordonnes et Normaux N'est pas Finiment Axiomatisable

Cited in

(1)

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

This page was built for publication: A note on subsystems of open induction

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