The following pages link to (Q4893132):
Displaying 13 items.
- Operational set theory and small large cardinals (Q731889) (← links)
- The constructive Hilbert program and the limits of Martin-Löf type theory (Q813417) (← links)
- Inaccessibility in constructive set theory and type theory (Q1295396) (← links)
- A note on applicability of the incompleteness theorem to human mind (Q1295425) (← links)
- The unfolding of non-finitist arithmetic (Q1577479) (← links)
- Pure patterns of order 2 (Q1676328) (← links)
- Pure \(\Sigma_2\)-elementarity beyond the core (Q2041963) (← links)
- A feasible theory of truth over combinatory algebra (Q2637706) (← links)
- The Operational Perspective: Three Routes (Q3305557) (← links)
- AXIOMS FOR DETERMINATENESS AND TRUTH (Q3580669) (← links)
- A Glimpse of $$ \sum_{3} $$-elementarity (Q5013913) (← links)
- Unfolding Schematic Systems (Q5214786) (← links)
- Feferman on Set Theory: Infinity up on Trial (Q5214797) (← links)
