Pages that link to "Item:Q4295223"
From MaRDI portal
The following pages link to LEVELS OF IMPLICATION AND TYPE FREE THEORIES OF CLASSIFICATIONS WITH APPROXIMATION OPERATOR (Q4295223):
Displaying 6 items.
- A logic of abstraction related to finite constructive number classes (Q910401) (← links)
- Fixed points in Peano arithmetic with ordinals (Q1210139) (← links)
- Second order theories with ordinals and elementary comprehension (Q1908814) (← links)
- Extending constructive operational set theory by impredicative principles (Q3008060) (← links)
- Extending the first-order theory of combinators with self-referential truth (Q3138009) (← links)
- About Truth and Types (Q3305551) (← links)