Pages that link to "Item:Q2841501"
From MaRDI portal
The following pages link to On the Bourbaki-Witt principle in toposes (Q2841501):
Displaying 9 items.
- On the failure of fixed-point theorems for chain-complete lattices in the effective topos (Q418812) (← links)
- The Skolem-Löwenheim theorem in toposes (Q2266009) (← links)
- On the failure of fixed-point theorems for chain-complete lattices in the effective topos (Q2805156) (← links)
- Fixed-Point Elimination in the Intuitionistic Propositional Calculus (Q2811336) (← links)
- Transfinite Constructions in Classical Type Theory (Q2945651) (← links)
- A note on iterative arguments in a topos (Q3994047) (← links)
- Cohesive Toposes and Cantor's <i>'lauter Einsen'</i> (Q4282801) (← links)
- (Q4972736) (← links)
- Tower Induction and Up-to Techniques for CCS with Fixed Points (Q5283217) (← links)