The \(\omega\)-consistency of elementary analysis

DOI10.21099/TKBJM/1496163087zbMath0885.03044OpenAlexW2106116598MaRDI QIDQ1375797

Kokio Shirai

Publication date: 15 April 1998

Published in: Tsukuba Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.21099/tkbjm/1496163087

zbMATH Keywords

transfinite inductionelementary analysis\(\omega\)-consistency

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Proof theory in general (including proof-theoretic semantics) (03F03)

This page was built for publication: The \(\omega\)-consistency of elementary analysis