The ''World's simplest axiom of choice'' fails (Q1171570): Difference between revisions

@@ Property / author @@
-Michael Paul Fourman
@@ Property / author: Michael Paul Fourman / rank @@
-Normal rank
@@ Property / author @@
-Q1171569
@@ Property / author: Q1171569 / rank @@
-Normal rank
@@ Property / author @@
+Michael Paul Fourman
@@ Property / author: Michael Paul Fourman / rank @@
+Normal rank
@@ Property / author @@
+Andrej Scedrov
@@ Property / author: Andrej Scedrov / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+KRIPKE
@@ Property / describes a project that uses: KRIPKE / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4133603
@@ Property / cites work: Q4133603 / rank @@
+Normal rank
@@ Property / cites work @@
+Sheaf models for set theory
@@ Property / cites work: Sheaf models for set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3322099
@@ Property / cites work: Q3322099 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3863865
@@ Property / cites work: Q3863865 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3050433
@@ Property / cites work: Q3050433 / rank @@
+Normal rank
@@ Property / cites work @@
+The axiom of choice
@@ Property / cites work: The axiom of choice / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
+Normal rank
@@ Property / cites work @@
+Q4693151
@@ Property / cites work: Q4693151 / rank @@
+Normal rank
@@ Property / cites work @@
+First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
+Normal rank
@@ Property / cites work @@
+Q4117991
@@ Property / cites work: Q4117991 / rank @@
+Normal rank