An indeterminate universe of sets (Q2054115): Difference between revisions

@@ Property / cites work @@
+The hyperuniverse program
@@ Property / cites work: The hyperuniverse program / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215634
@@ Property / cites work: Q4215634 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4075450
@@ Property / cites work: Q4075450 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4272993
@@ Property / cites work: Q4272993 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiom of Choice and Complementation
@@ Property / cites work: Axiom of Choice and Complementation / rank @@
+Normal rank
@@ Property / cites work @@
+Q3001097
@@ Property / cites work: Q3001097 / rank @@
+Normal rank
@@ Property / cites work @@
+ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
+Normal rank
@@ Property / cites work @@
+Choice Implies Excluded Middle
@@ Property / cites work: Choice Implies Excluded Middle / rank @@
+Normal rank
@@ Property / cites work @@
+On the Question of Absolute Undecidability
@@ Property / cites work: On the Question of Absolute Undecidability / rank @@
+Normal rank
@@ Property / cites work @@
+Multiple universes of sets and indeterminate truth values
+Normal rank
@@ Property / cites work @@
+WHAT CAN A CATEGORICITY THEOREM TELL US?
@@ Property / cites work: WHAT CAN A CATEGORICITY THEOREM TELL US? / rank @@
+Normal rank
@@ Property / cites work @@
+INDEFINITENESS IN SEMI-INTUITIONISTIC SET THEORIES: ON A CONJECTURE OF FEFERMAN
+Normal rank
@@ Property / cites work @@
+Semantic theory and necessary truth
@@ Property / cites work: Semantic theory and necessary truth / rank @@
+Normal rank
@@ Property / cites work @@
+Q3464651
@@ Property / cites work: Q3464651 / rank @@
+Normal rank
@@ Property / cites work @@
+Kreisel, the continuum hypothesis and second order set theory
+Normal rank
@@ Property / cites work @@
+Q2756771
@@ Property / cites work: Q2756771 / rank @@
+Normal rank