Pages that link to "Item:Q1825191"
From MaRDI portal
The following pages link to Towards a computation system based on set theory (Q1825191):
Displaying 16 items.
- Operational set theory and small large cardinals (Q731889) (← links)
- Theory of symbolic expressions. I (Q791311) (← links)
- A step semantic system for set theory (Q1065794) (← links)
- Map theory (Q1193653) (← links)
- The set player system for symbolic computation on power sets (Q1209621) (← links)
- A derived algorithm for evaluating \(\varepsilon\)-expressions over abstract sets (Q1322849) (← links)
- A naïve way of looking at fuzzy sets (Q1697360) (← links)
- A minimal computational theory of a minimal computational universe (Q1709687) (← links)
- On Feferman's operational set theory \textsf{OST} (Q2463480) (← links)
- A theory of computer instructions (Q2495549) (← 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)
- (Q3700872) (← links)
- Relational set theory (Q5057465) (← links)
- New Computational Paradigms (Q5717043) (← links)