Pages that link to "Item:Q1919983"
From MaRDI portal
The following pages link to A linear conservative extension of Zermelo-Fraenkel set theory (Q1919983):
Displaying 6 items.
- Canonical form of Tarski sets in Zermelo-Fraenkel set theory (Q2387851) (← links)
- On arithmetic in the Cantor-Łukasiewicz fuzzy set theory (Q2388435) (← links)
- The structure of the ordinals and the interpretation of ZF in double extension set theory (Q2574886) (← links)
- Linear set theory with strict comprehension (Q2784789) (← links)
- Extensionality in Zermelo‐Fraenkel Set Theory (Q3688384) (← links)
- Typed lambda-calculus in classical Zermelo-Fraenkel set theory (Q5945009) (← links)