Pages that link to "Item:Q1825191"
From MaRDI portal
The following pages link to Towards a computation system based on set theory (Q1825191):
Displaying 8 items.
- Operational set theory and small large cardinals (Q731889) (← links)
- Map theory (Q1193653) (← links)
- A derived algorithm for evaluating \(\varepsilon\)-expressions over abstract sets (Q1322849) (← links)
- A naïve way of looking at fuzzy sets (Q1697360) (← links)
- On Feferman's operational set theory \textsf{OST} (Q2463480) (← links)
- EXPLICIT MATHEMATICS AND OPERATIONAL SET THEORY: SOME ONTOLOGICAL COMPARISONS (Q2795201) (← links)
- Extending constructive operational set theory by impredicative principles (Q3008060) (← links)
- The Operational Perspective: Three Routes (Q3305557) (← links)
