Pages that link to "Item:Q1322455"
From MaRDI portal
The following pages link to A proof-theoretical analysis of ptykes (Q1322455):
Displaying 6 items.
- A topos-theorist looks at dilators (Q1121978) (← links)
- Boundedness theorems for dilators and ptykes (Q1177037) (← links)
- Functoroids and ptykoids (Q1345902) (← links)
- Ptykes in Gödels T und Definierbarkeit von Ordinalzahlen. (Ptykes in Gödel's T and definability of ordinal numbers) (Q1825868) (← links)
- Embeddability of ptykes (Q4032649) (← links)
- The Π21$\Pi ^1_2$ consequences of a theory (Q6176438) (← links)