Automorphisms moving all non-algebraic points and an application to NF (Q4227868): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.2307/2586714
@@ Property / full work available at URL: https://doi.org/10.2307/2586714 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2014769261
@@ Property / OpenAlex ID: W2014769261 / rank @@
+Normal rank
@@ Property / cites work @@
+New Foundations for Mathematical Logic
@@ Property / cites work: New Foundations for Mathematical Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Cofinal Indiscernibles and some Applications to New Foundations
+Normal rank
@@ Property / cites work @@
+Finite sets in Quine's new foundations
@@ Property / cites work: Finite sets in Quine's new foundations / rank @@
+Normal rank
@@ Property / cites work @@
+Automorphisms of recursively saturated models of arithmetic
+Normal rank
@@ Property / cites work @@
+The consistency problem for NF
@@ Property / cites work: The consistency problem for NF / rank @@
+Normal rank
@@ Property / cites work @@
+The Axiom of Choice in Quine's New Foundations for Mathematical Logic
+Normal rank
@@ Property / cites work @@
+Q4160890
@@ Property / cites work: Q4160890 / rank @@
+Normal rank
@@ Property / cites work @@
+New foundations and the axiom of counting
@@ Property / cites work: New foundations and the axiom of counting / rank @@
+Normal rank