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 11 items.
- Contextual-hierarchical reconstructions of the strengthened liar problem (Q253127) (← links)
- Classes and truths in set theory (Q450946) (← links)
- Iterated local reflection versus iterated consistency (Q1899141) (← 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)
- Infinitary self-reference in learning theory (Q4290127) (← links)
- Iterated reflection over full disquotational truth (Q4555459) (← links)
- Transfinite Progressions: A Second Look at Completeness (Q4678945) (← links)
- Feferman and the Truth (Q5214789) (← links)
- , , AND REINHARDT’S PROGRAM (Q5880422) (← links)
- Theories of Frege structure equivalent to Feferman's system \(\mathsf{T}_0\) (Q6614045) (← links)