scientific article

zbMath0552.03038MaRDI QIDQ3343982

Reijiro Kurata

Publication date: 1984

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

models of arithmeticuniform reflection principle

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Models of arithmetic and set theory (03C62) Relative consistency and interpretations (03F25)

Related Items

Paris-Harrington principles, reflection principles and transfinite induction up to \(\epsilon _ 0\) ⋮ Subsystems of true arithmetic and hierarchies of functions ⋮ Some combinatorial principles equivalent to restrictions of transfinite induction up to \(\Gamma _ 0\)