Pages that link to "Item:Q4650304"
From MaRDI portal
The following pages link to A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points (Q4650304):
Displaying 27 items.
- Liar-type paradoxes and the incompleteness phenomena (Q312496) (← links)
- Categorical pairs and the indicative shift (Q440655) (← links)
- Commutativity and self-reference (Q786803) (← links)
- Self-reference and fixed points: A discussion and an extension of Lawvere's theorem (Q793024) (← links)
- The nature of reflexive paradoxes. II (Q797571) (← links)
- An impossibility theorem on beliefs in games (Q863184) (← links)
- The diagonal argument and the Liar (Q914657) (← links)
- On the structure of paradoxes (Q1204111) (← links)
- Cantor diagrams: a unifying discussion of self-reference (Q1404250) (← links)
- Fixed points in lambda calculus. an eccentric survey of problems and solutions (Q1688969) (← links)
- A Yabloesque paradox in epistemic game theory (Q1708970) (← links)
- Epistemic horizons and the foundations of quantum mechanics (Q1735885) (← links)
- The scope of Gödel's first incompleteness theorem (Q2254575) (← links)
- Burali-Forti as a purely logical paradox (Q2281317) (← links)
- From Lawvere to Brandenburger-Keisler: interactive forms of diagonalization and self-reference (Q2341698) (← links)
- Zeno machines and hypercomputation (Q2503270) (← links)
- A negation-free proof of Cantor's theorem (Q2565993) (← links)
- Logic in Category Theory (Q2909761) (← links)
- Eliminating Self-Reference from Grelling's and Zwicker's Paradoxes (Q3187712) (← links)
- Why Categories? (Q3296105) (← links)
- At the Limits of Thought (Q3305681) (← links)
- Naming and Diagonalization, from Cantor to Godel to Kleene (Q3424118) (← links)
- (Q4821860) (← links)
- Aspects of Categorical Recursion Theory (Q5014598) (← links)
- DIAGONALIZATION EXHIBITED IN THE LIAR PARADOX, RUSSELL’S PARADOX AND GÖDEL’S INCOMPLETENESS THEOREM (Q5073951) (← links)
- Elementary cellular automata and self-referential paradoxes (Q5158362) (← links)
- Substructural fixed-point theorems and the diagonal argument: theme and variations (Q6050008) (← links)
