EXPLICIT MATHEMATICS AND OPERATIONAL SET THEORY: SOME ONTOLOGICAL COMPARISONS (Q2795201): Difference between revisions

@@ Property / cites work @@
+Operational closure and stability
@@ Property / cites work: Operational closure and stability / rank @@
+Normal rank
@@ Property / cites work @@
+Upper bounds for metapredicative Mahlo in explicit mathematics and admissible set theory
+Normal rank
@@ Property / cites work @@
+Full operational set theory with unbounded existential quantification and power set
+Normal rank
@@ Property / cites work @@
+On Feferman's operational set theory \textsf{OST}
@@ Property / cites work: On Feferman's operational set theory \textsf{OST} / rank @@
+Normal rank
@@ Property / cites work @@
+Power types in explicit mathematics?
@@ Property / cites work: Power types in explicit mathematics? / rank @@
+Normal rank
@@ Property / cites work @@
+Systems of explicit mathematics with non-constructive \(\mu\)-operator. II
+Normal rank
@@ Property / cites work @@
+Operational set theory and small large cardinals
@@ Property / cites work: Operational set theory and small large cardinals / rank @@
+Normal rank
@@ Property / cites work @@
+Extending constructive operational set theory by impredicative principles
+Normal rank
@@ Property / cites work @@
+Towards a computation system based on set theory
@@ Property / cites work: Towards a computation system based on set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Extending the system T\(_0\) of explicit mathematics: The limit and Mahlo axioms
+Normal rank
@@ Property / cites work @@
+Reflections on reflections in explicit mathematics
+Normal rank