The following pages link to (Q3997237):
Displaying 40 items.
- Foundational implications of the inner model hypothesis (Q448331) (← links)
- On the concept of finitism (Q510710) (← links)
- Multiverse conceptions in set theory (Q510715) (← links)
- The graph conception of set (Q742483) (← links)
- Links between physics and set theory. (Q815623) (← links)
- On mind \& Turing's machines (Q885688) (← links)
- Termination of rewrite relations on \(\lambda\)-terms based on Girard's notion of reducibility (Q896904) (← links)
- Information transmittal and time uncertainty, measuring the speed of light and time of reflection, representations of Newton's second law and related problems (Q1004802) (← links)
- Injecting uniformities into Peano arithmetic (Q1006608) (← links)
- Turing oracle machines, online computing, and three displacements in computability theory (Q1032637) (← links)
- Predicative functionals and an interpretation of \({\widehat{\text{ID}}_{<\omega}}\) (Q1295369) (← links)
- Full intuitionistic linear logic (Q1314646) (← links)
- von Neumann standard quantum mechanics is logically inconsistent (Q1401064) (← links)
- Functional interpretation of Aczel's constructive set theory (Q1577478) (← links)
- Martin's maximum\(^{++}\) implies Woodin's axiom \((*)\) (Q2028503) (← links)
- Intuitionism: an inspiration? (Q2065727) (← links)
- On the removal of weak compactness arguments in proof mining (Q2324564) (← links)
- Book review of: R. Kahle (ed.) and M. Rathjen (ed.), Gentzen's centenary. The quest for consistency (Q2409191) (← links)
- Levy and set theory (Q2493914) (← links)
- (Q3024733) (← links)
- <i>V = L</i>and Intuitive Plausibility in set Theory. A Case Study (Q3174637) (← links)
- Multiverse Conceptions in Set Theory (Q3305406) (← links)
- Gödel’s Cantorianism (Q3305413) (← links)
- Objectivity and Truth in Mathematics: A Sober Non-platonist Perspective (Q3305632) (← links)
- Computational Interpretations of Classical Reasoning: From the Epsilon Calculus to Stateful Programs (Q3305635) (← links)
- Acerca de la teoría de los números transfinitos de Cantor, de 1874 a 1940 (Q3389718) (← links)
- AXIOMS FOR DETERMINATENESS AND TRUTH (Q3580669) (← links)
- Theses for Computation and Recursion on Concrete and Abstract Structures (Q4637218) (← links)
- Why Turing’s Thesis Is Not a Thesis (Q4637226) (← links)
- (Q4787958) (← links)
- On the Computability of the Fan Functional (Q5214781) (← links)
- Unfolding Schematic Systems (Q5214786) (← links)
- THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC (Q5274882) (← links)
- RUSSELL AND GÖDEL (Q5283450) (← links)
- On reflection principles (Q5901498) (← links)
- Russell, presupposition, and the vicious-circle principle (Q5937845) (← links)
- Kurt Gödel and the logic of concepts (Q6585148) (← links)
- Duality, intensionality, and contextuality: philosophy of category theory and the categorical unity of science in Samson Abramsky (Q6612778) (← links)
- Mathematical explanations in evolutionary biology or naturalism? A challenge for the statisticalist (Q6639625) (← links)
- A justification for the quantificational Hume principle (Q6651298) (← links)
