Pages that link to "Item:Q494642"
From MaRDI portal
The following pages link to Intuitionistic fixed point theories over set theories (Q494642):
Displaying 8 items.
- Globalization of intuitionistic set theory (Q1095903) (← links)
- The intuitionistic alternative set theory (Q1208081) (← links)
- An intuitionistic fixed point theory (Q1386672) (← links)
- Transference theorems and intuitionistic set theory (Q1595703) (← links)
- Cut-elimination for \(\omega_{1}\) (Q1799034) (← links)
- Intuitionistic Fixed Point Theories for Strictly Positive Operators (Q4531084) (← links)
- On the crispness of and arithmetic with a bisimulation in a constructive naive set theory (Q5172136) (← links)
- Intuitionistic sets and ordinals (Q5687312) (← links)