The following pages link to Intuitionistic sets and ordinals (Q5687312):
Displaying 16 items.
- A note on FDE ``all the way up'' (Q778734) (← links)
- Transference theorems and intuitionistic set theory (Q1595703) (← links)
- Ordinal notations and well-orderings in bounded arithmetic (Q1861331) (← links)
- Recursive coalgebras from comonads (Q2495640) (← links)
- Orders of indescribable sets (Q2505504) (← 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)
- Interval-Valued Intuitionistic Multiplicative Sets (Q3194986) (← links)
- Representing Sets of Ordinals as Countable Unions of Sets in the Core Model (Q3199411) (← links)
- (Q3496430) (← links)
- AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS (Q5044310) (← links)
- (Q5094144) (← links)
- Well-founded recursion with copatterns and sized types (Q5371960) (← links)