Pages that link to "Item:Q3173533"
From MaRDI portal
The following pages link to Autonomous progression and transfinite iteration of self-applicable truth (Q3173533):
Displaying 6 items.
- Contextual-hierarchical reconstructions of the strengthened liar problem (Q253127) (← links)
- Classes and truths in set theory (Q450946) (← links)
- Truth and the philosophy of mathematics (Q2080591) (← links)
- Notes on some second-order systems of iterated inductive definitions and \(\Pi_1^1\)-comprehensions and relevant subsystems of set theory (Q2514846) (← links)
- Feferman and the Truth (Q5214789) (← links)
- , , AND REINHARDT’S PROGRAM (Q5880422) (← links)
