Pages that link to "Item:Q2805156"
From MaRDI portal
The following pages link to On the failure of fixed-point theorems for chain-complete lattices in the effective topos (Q2805156):
Displaying 5 items.
- On the failure of fixed-point theorems for chain-complete lattices in the effective topos (Q418812) (← links)
- On fixed-point theorems in synthetic computability (Q1683373) (← links)
- On the Bourbaki-Witt principle in toposes (Q2841501) (← links)
- 2010 North American Annual Meeting of the Association for Symbolic Logic (Q3083467) (← links)
- A note on iterative arguments in a topos (Q3994047) (← links)