Pages that link to "Item:Q2784789"
From MaRDI portal
The following pages link to Linear set theory with strict comprehension (Q2784789):
Displaying 4 items.
- The undecidability of Grišin's set theory (Q1402586) (← links)
- Weight of the comprehension axiom in a theory based on logic without contractions (Q1582825) (← links)
- A linear conservative extension of Zermelo-Fraenkel set theory (Q1919983) (← links)
- On arithmetic in the Cantor-Łukasiewicz fuzzy set theory (Q2388435) (← links)