Pages that link to "Item:Q4487243"
From MaRDI portal
The following pages link to Cumulative Higher-Order Logic as a Foundation for Set Theory (Q4487243):
Displaying 6 items.
- Complete infinitary type logics (Q1970601) (← links)
- Stratified and positive comprehension seen as superclass rules over ordinary set theory (Q3472094) (← links)
- Where do sets come from? (Q3981451) (← links)
- Models of Second-Order Zermelo Set Theory (Q4940733) (← links)
- AGAINST CUMULATIVE TYPE THEORY (Q5046602) (← links)
- (Q5858673) (← links)