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 12 items.
- An impossibility theorem on beliefs in games (Q863184) (← 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)
- Why Categories? (Q3296105) (← links)
- At the Limits of Thought (Q3305681) (← links)
