Pages that link to "Item:Q1683373"
From MaRDI portal
The following pages link to On fixed-point theorems in synthetic computability (Q1683373):
Displaying 4 items.
- Self-reference and fixed points: A discussion and an extension of Lawvere's theorem (Q793024) (← links)
- Naming and Diagonalization, from Cantor to Godel to Kleene (Q3424118) (← links)
- Substructural fixed-point theorems and the diagonal argument: theme and variations (Q6050008) (← links)
- Synthetic Undecidability and Incompleteness of First-Order Axiom Systems in Coq (Q6099613) (← links)