The following pages link to Intuitionistic sets and ordinals (Q5687312):
Displayed 10 items.
- Recursive coalgebras from comonads (Q2495640) (← links)
- Skew metrics valued in Sugihara semigroups (Q2695368) (← links)
- Type-theoretic approaches to ordinals (Q2700785) (← links)
- A Coalgebraic View of Bar Recursion and Bar Induction (Q2811334) (← links)
- On the Bourbaki–Witt principle in toposes (Q2841501) (← links)
- On Tarski’s fixed point theorem (Q2944797) (← links)
- AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS (Q5044310) (← links)
- (Q5094144) (← links)
- Well-founded recursion with copatterns and sized types (Q5371960) (← links)
- (Q6153329) (← links)