Lifting proofs from countable to uncountable mathematics (Q2672667): Difference between revisions

@@ Property / Wikidata QID @@
+Q113872839
@@ Property / Wikidata QID: Q113872839 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215634
@@ Property / cites work: Q4215634 / rank @@
+Normal rank
@@ Property / cites work @@
+Nets and Filters in Topology
@@ Property / cites work: Nets and Filters in Topology / rank @@
+Normal rank
@@ Property / cites work @@
+Q3035281
@@ Property / cites work: Q3035281 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5711877
@@ Property / cites work: Q5711877 / rank @@
+Normal rank
@@ Property / cites work @@
+Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
+Normal rank
@@ Property / cites work @@
+Reverse Mathematics and Algebraic Field Extensions
+Normal rank
@@ Property / cites work @@
+Theorie Der Numerierungen III
@@ Property / cites work: Theorie Der Numerierungen III / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249355
@@ Property / cites work: Q4249355 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4111536
@@ Property / cites work: Q4111536 / rank @@
+Normal rank
@@ Property / cites work @@
+Countable algebra and set existence axioms
@@ Property / cites work: Countable algebra and set existence axioms / rank @@
+Normal rank
@@ Property / cites work @@
+Effective procedures in field theory
@@ Property / cites work: Effective procedures in field theory / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal prime ideals and arithmetic comprehension
@@ Property / cites work: Minimal prime ideals and arithmetic comprehension / rank @@
+Normal rank
@@ Property / cites work @@
+Axiom of choice
@@ Property / cites work: Axiom of choice / rank @@
+Normal rank
@@ Property / cites work @@
+Grundlagen der Mathematik I
@@ Property / cites work: Grundlagen der Mathematik I / rank @@
+Normal rank
@@ Property / cites work @@
+Q5747346
@@ Property / cites work: Q5747346 / rank @@
+Normal rank
@@ Property / cites work @@
+An Introduction to Ramsey Theory
@@ Property / cites work: An Introduction to Ramsey Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4064160
@@ Property / cites work: Q4064160 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4793025
@@ Property / cites work: Q4793025 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5711891
@@ Property / cites work: Q5711891 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal systems for some branches of intuitionistic analysis
+Normal rank
@@ Property / cites work @@
+Brouwerian Counterexamples
@@ Property / cites work: Brouwerian Counterexamples / rank @@
+Normal rank
@@ Property / cites work @@
+Q3760781
@@ Property / cites work: Q3760781 / rank @@
+Normal rank
@@ Property / cites work @@
+On the mathematical and foundational significance of the uncountable
+Normal rank
@@ Property / cites work @@
+The strength of compactness in computability theory and nonstandard analysis
+Normal rank
@@ Property / cites work @@
+Open sets in computability theory and reverse mathematics
+Normal rank
@@ Property / cites work @@
+Pincherle's theorem in reverse mathematics and computability theory
+Normal rank
@@ Property / cites work @@
+The Axiom of Choice in computability theory and Reverse Mathematics with a cameo for the Continuum Hypothesis
+Normal rank
@@ Property / cites work @@
+Axiomatic Treatment of Rank in Infinite Sets
@@ Property / cites work: Axiomatic Treatment of Rank in Infinite Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q3996430
@@ Property / cites work: Q3996430 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4340161
@@ Property / cites work: Q4340161 / rank @@
+Normal rank
@@ Property / cites work @@
+Uniform versions of some axioms of second order arithmetic
+Normal rank
@@ Property / cites work @@
+Nets and reverse mathematics. Some initial results
+Normal rank
@@ Property / cites work @@
+Reverse mathematics and computability theory of domain theory
+Normal rank
@@ Property / cites work @@
+Lifting recursive counterexamples to higher-order arithmetic
+Normal rank
@@ Property / cites work @@
+Splittings and disjunctions in reverse mathematics
+Normal rank
@@ Property / cites work @@
+Reverse mathematics of topology: dimension, paracompactness, and splittings
+Normal rank
@@ Property / cites work @@
+Q4249731
@@ Property / cites work: Q4249731 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3395521
@@ Property / cites work: Q3395521 / rank @@
+Normal rank
@@ Property / cites work @@
+Nicht konstruktiv beweisbare Sätze der Analysis
@@ Property / cites work: Nicht konstruktiv beweisbare Sätze der Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q5348541
@@ Property / cites work: Q5348541 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4490681
@@ Property / cites work: Q4490681 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof theory. 2nd ed
@@ Property / cites work: Proof theory. 2nd ed / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume II
+Normal rank
@@ Property / cites work @@
+On Computable Numbers, with an Application to the Entscheidungsproblem
+Normal rank