scientific article; zbMATH DE number 2152230

zbMath1069.03049MaRDI QIDQ4663832

Gerhard Jäger, Dieter Probst

Publication date: 4 April 2005

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

zbMATH Keywords

inductionproof-theoretic ordinalmetapredicative Mahlo ordinalrecursively inaccessible universeadmissible set theory without foundation

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Second- and higher-order arithmetic and fragments (03F35) Recursive ordinals and ordinal notations (03F15)

Related Items

On the relationship between fixed points and iteration in admissible set theory without foundation