Pages that link to "Item:Q4853337"
From MaRDI portal
The following pages link to A NEW FORMALIZATION OF FEFERMAN’S SYSTEM OF FUNCTIONS AND CLASSES AND ITS RELATION TO FREGE STRUCTURE (Q4853337):
Displaying 5 items.
- Monotone inductive definitions in a constructive theory of functions and classes (Q1115865) (← links)
- Universes over Frege structures (Q1861539) (← links)
- THE UNIVERSAL SET AND DIAGONALIZATION IN FREGE STRUCTURES (Q3094184) (← links)
- MARTIN-LÖF'S TYPE THEORY AS AN OPEN-ENDED FRAMEWORK (Q5249247) (← links)
- Theories of Frege structure equivalent to Feferman's system \(\mathsf{T}_0\) (Q6614045) (← links)