Pages that link to "Item:Q2805156"

The following pages link to On the Failure of Fixed-Point Theorems for Chain-complete Lattices in the Effective Topos (Q2805156):

Displaying 1 item.

• 2010 North American Annual Meeting of the Association for Symbolic Logic (Q3083467) (← links)