The following pages link to (Q4674788):
Displaying 50 items.
- Multiverse conceptions in set theory (Q510715) (← links)
- Models and the dynamics of theory-building in physics. II: Case studies (Q643076) (← links)
- Models and the dynamics of theory-building in physics. I: Modeling strategies (Q643103) (← links)
- The seven virtues of simple type theory (Q946569) (← links)
- Bad company generalized (Q1036089) (← links)
- Omnipresence, multipresence and ubiquity: kinds of generality in and around mathematics and logics (Q1942335) (← links)
- Philosophical pictures about mathematics: Wittgenstein and contradiction (Q1989973) (← links)
- Permanence as a principle of practice (Q2034537) (← links)
- Classical harmony and separability (Q2055927) (← links)
- Predicativity and constructive mathematics (Q2080590) (← links)
- Proofs, grounds and empty functions: epistemic compulsion in Prawitz's semantics (Q2121478) (← links)
- Representations and the foundations of mathematics (Q2134273) (← links)
- Modality via iterated enrichment (Q2134835) (← links)
- Relation algebras of Sugihara, Belnap, Meyer, and Church (Q2210869) (← links)
- Outline of a dynamical inferential conception of the application of mathematics (Q2261517) (← links)
- Wittgenstein on pure and applied mathematics (Q2263059) (← links)
- Logical structuralism and Benacerraf's problem (Q2268774) (← links)
- Explicating logical independence (Q2301324) (← links)
- Duality as a category-theoretic concept (Q2406918) (← links)
- The original sin of proof-theoretic semantics (Q2690170) (← links)
- A plea for KR (Q2695153) (← links)
- Hume's principle: a plea for austerity (Q2695169) (← links)
- The later Wittgenstein's guide to contradictions (Q2695171) (← links)
- An encoding approach to \textit{ante rem} structuralism (Q2695389) (← links)
- (Q2856488) (← links)
- A SECOND PHILOSOPHY OF ARITHMETIC (Q2940873) (← links)
- Mathematics as the Art of Abstraction (Q2950040) (← links)
- All Properties are Divine or God Exists - The Sacred Thesis and its Ontological Argument (Q3121970) (← links)
- On Arbitrary sets and<i>ZFC</i> (Q3174638) (← links)
- RELATIVE CATEGORICITY AND ABSTRACTION PRINCIPLES (Q3195592) (← links)
- Error and Predicativity (Q3195675) (← links)
- Semantic Nominalism: How I Learned to Stop Worrying and Love Universals (Q3295811) (← links)
- What’s So Bad About Second-Order Logic? (Q3299536) (← links)
- Asymptotic Quasi-completeness and ZFC (Q3305340) (← links)
- Multiverse Conceptions in Set Theory (Q3305406) (← links)
- Objectivity and Truth in Mathematics: A Sober Non-platonist Perspective (Q3305632) (← links)
- Priest on Negation (Q3305669) (← links)
- Mathematical Existence (Q3370612) (← links)
- WEYL REEXAMINED: “DAS KONTINUUM” 100 YEARS LATER (Q3386608) (← links)
- (Q3613033) (← links)
- Making Sense of Sense Containment (Q4608203) (← links)
- Wittgenstein's<i>ab</i>-Notation: An Iconic Proof Procedure (Q4608210) (← links)
- ω-circularity of Yablo's paradox (Q5006833) (← links)
- In the Footsteps of Hilbert: The Andréka-Németi Group’s Logical Foundations of Theories in Physics (Q5015981) (← links)
- Why Predicative Sets? (Q5049037) (← links)
- Gödelian sentences and semantic arguments (Q5061410) (← links)
- A categorical construction of Bachmann–Howard fixed points (Q5205443) (← links)
- Necessity of Thought (Q5213607) (← links)
- On the Motives for Proof Theory (Q5213608) (← links)
- On the Indispensable Premises of the Indispensability Argument (Q5213635) (← links)
