Pages that link to "Item:Q4140960"
From MaRDI portal
The following pages link to Über Teilsysteme von $$\bar \Theta $$ ({g}) (Q4140960):
Displaying 4 items.
- Beweistheoretische Abgrenzung von Teilsystemen der Analysis (Q1139586) (← links)
- Natural well-orderings (Q3772212) (← links)
- Cut-elimination for impredicative infinitary systems part I. Ordinal-analysis for ID1 (Q3942955) (← links)
- Eine Variante Des OrdinalzahlbezeichnungssystemsΣ (Q3960846) (← links)