The following pages link to Does Mathematics Need New Axioms? (Q5890202):
Displaying 23 items.
- Too naturalist and not naturalist enough: Reply to Horsten (Q954789) (← links)
- Slowly oscillating functions in semigroup compactifications and convolution algebras (Q996264) (← links)
- Martin's maximum\(^{++}\) implies Woodin's axiom \((*)\) (Q2028503) (← links)
- Can we resolve the continuum hypothesis? (Q2054119) (← links)
- Maximality and ontology: how axiom content varies across philosophical frameworks (Q2054121) (← links)
- Is the dream solution of the continuum hypothesis attainable? (Q2345395) (← links)
- Is there a ``Hilbert thesis''? (Q2631647) (← links)
- Descriptive inner model theory (Q2837761) (← links)
- Proof Theory in Philosophy of Mathematics (Q3160752) (← links)
- Forcing, Multiverse and Realism (Q3295824) (← links)
- Mathematical Existence (Q3370612) (← links)
- The Significance of Relativistic Computation for the Philosophy of Mathematics (Q5015969) (← links)
- MODAL STRUCTURALISM AND REFLECTION (Q5216972) (← links)
- THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC (Q5274882) (← links)
- The Axiom of Infinity and Transformations <i>j: V → V</i> (Q5305553) (← links)
- What makes the continuum ℵ₂ (Q5351859) (← links)
- Why Sets? (Q5452179) (← links)
- Gödel's Program Revisited Part I: The Turn to Phenomenology (Q5754717) (← links)
- On the Axiom of Canonicity (Q6107281) (← links)
- How many real numbers are there? (Q6114787) (← links)
- WHAT IS A RESTRICTIVE THEORY? (Q6131223) (← links)
- Logic and science: science and logic (Q6147143) (← links)
- INDEPENDENCE PROOFS IN NON-CLASSICAL SET THEORIES (Q6148462) (← links)
