A note on subsystems of open induction

DOI10.2178/JSL/1203350788zbMath1135.03025OpenAlexW2127639898MaRDI QIDQ5444702

Shahram 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

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

Cites Work

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

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