Pages that link to "Item:Q3710526"
From MaRDI portal
The following pages link to The strength of admissibility without foundation (Q3710526):
Displaying 10 items.
- Universes over Frege structures (Q1861539) (← links)
- Levels of truth (Q1903585) (← links)
- On the relationship between fixed points and iteration in admissible set theory without foundation (Q2486984) (← links)
- Reflections on reflections in explicit mathematics (Q2566068) (← links)
- The Operational Perspective: Three Routes (Q3305557) (← links)
- Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher Bäume;Unprovability of certain combinatorial properties of finite trees (Q3731598) (← links)
- Wellordering proofs for metapredicative Mahlo (Q4532614) (← links)
- Having a Look Again at Some Theories ofProof-Theoretic Strengths around $$ \varGamma_{0} $$ (Q5013900) (← links)
- Generalizations of the one-dimensional version of the Kruskal-Friedman theorems (Q5752568) (← links)
- Universes in explicit mathematics (Q5939842) (← links)
