The following pages link to (Q5573940):
Displayed 50 items.
- A simple proof of Parsons' theorem (Q558443) (← links)
- Reduction and Tarski's definition of logical consequence (Q558729) (← links)
- What is the world of mathematics? (Q598279) (← links)
- In memoriam Kurt Gödel: His 1931 correspondence with Zermelo on his incompletability theorem (Q754168) (← links)
- The given (Q791521) (← links)
- Foundations for analysis and proof theory (Q798634) (← links)
- The logic and meaning of plurals. I (Q812095) (← links)
- Another paradox in naive set-theory (Q878158) (← links)
- Harmonious logic: Craig's interpolation theorem and its descendants (Q1024116) (← links)
- Wittgenstein and logic (Q1024139) (← links)
- Russell's substitutional theory (Q1053008) (← links)
- Kurt Gödel in sharper focus (Q1063582) (← links)
- On rewriting the history of the foundations of mathematics at the turn of the century (Q1072535) (← links)
- The emergence of some of the nonlogical paradoxes of the theory of sets, 1903-1908 (Q1073778) (← links)
- An algebraic synthesis of the foundations of logic and probability (Q1096615) (← links)
- Some unpublished papers of Jean van Heijenoort (Q1106823) (← links)
- Hilbert's ``Grundlagen der Geometrie'' (Q1114924) (← links)
- On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory (Q1120558) (← links)
- The first example of a recursive function which is not primitive recursive (Q1135847) (← links)
- From types to sets (Q1140642) (← links)
- Intuitionist type theory and the free topos (Q1148318) (← links)
- Zermelo's discovery of the ''Russell paradox'' (Q1151389) (← links)
- Burali-Forti's paradox: A reappraisal of its origins (Q1157318) (← links)
- Complexity results for classes of quantificational formulas (Q1157324) (← links)
- Peirce the logician (Q1165227) (← links)
- A theory of abstraction (Q1199923) (← links)
- Hilbert's \(\varepsilon{}\)-operator and classical logic (Q1208146) (← links)
- Logic, sets, and mathematics (Q1209798) (← links)
- Some set-theoretical partition theorems suggested by the structure of Spinoza's God (Q1223291) (← links)
- Sense in Frege (Q1236522) (← links)
- Frege on sense identity (Q1236523) (← links)
- Unifying threads in Alfred Tarski's work (Q1286341) (← links)
- Ramified recurrence and computational complexity. III: Higher type recurrence and elementary complexity (Q1295429) (← links)
- On the relations between Georg Cantor and Richard Dedekind (Q1319116) (← links)
- Revisiting the notion of function (Q1394989) (← links)
- The discovery of forcing. (Q1414982) (← links)
- From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models (Q1583485) (← links)
- Truth in Frege's ``law of truth'' (Q1583764) (← links)
- Wittgenstein and finitism (Q1583770) (← links)
- Soviet mathematics and dialectics in the Post-Stalin era: New horizons (Q1604655) (← links)
- Deflationary truth and the Liar (Q1818379) (← links)
- Which set existence axioms are needed to prove the separable Hahn-Banach theorem? (Q1820779) (← links)
- Peano's concept of number (Q1846407) (← links)
- Skolem redux (Q1860974) (← links)
- Traditional logic and the early history of sets, 1854-1908 (Q1913678) (← links)
- The `natural' and the `formal' (Q1976398) (← links)
- A characterization of alternating log time by ramified recurrence (Q1978645) (← links)
- Truth, reflection and hierarchies (Q2386109) (← links)
- Is complexity a source of incompleteness? (Q2386137) (← links)
- Zermelo and the Heidelberg Congress 1904 (Q2469955) (← links)