Extending constructive operational set theory by impredicative principles (Q3008060): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1002/malq.201010009
+Normal rank
@@ Property / OpenAlex ID @@
+W1990001580
@@ Property / OpenAlex ID: W1990001580 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3937387
@@ Property / cites work: Q3937387 / rank @@
+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 @@
+LEVELS OF IMPLICATION AND TYPE FREE THEORIES OF CLASSIFICATIONS WITH APPROXIMATION OPERATOR
+Normal rank
@@ Property / cites work @@
+Q3081642
@@ Property / cites work: Q3081642 / rank @@
+Normal rank
@@ Property / cites work @@
+Inaccessible set axioms may have little consistency strength
+Normal rank
@@ Property / cites work @@
+Q4128540
@@ Property / cites work: Q4128540 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3882452
@@ Property / cites work: Q3882452 / rank @@
+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 @@
+Set theoretic foundations for constructive analysis
+Normal rank
@@ Property / cites work @@
+Choice Implies Excluded Middle
@@ Property / cites work: Choice Implies Excluded Middle / rank @@
+Normal rank
@@ Property / cites work @@
+An intensional fixed point theory over first order arithmetic
+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 @@
+Full operational set theory with unbounded existential quantification and power set
+Normal rank
@@ Property / cites work @@
+<i>μ</i>-definable sets of integers
@@ Property / cites work: <i>μ</i>-definable sets of integers / rank @@
+Normal rank
@@ Property / cites work @@
+CZF and second order arithmetic
@@ Property / cites work: CZF and second order arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+The natural numbers in constructive set theory
@@ Property / cites work: The natural numbers in constructive set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume II
+Normal rank
@@ Property / cites work @@
+On the intuitionistic strength of monotone inductive definitions
+Normal rank