17 results in 03XX
POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND $\Gamma _{0}$
 Part of

 Journal:
 Bulletin of Symbolic Logic / Volume 30 / Issue 1 / March 2024
 Published online by Cambridge University Press:
 19 January 2024, pp. 4191
 Print publication:
 March 2024

 Article

 You have access
 Open access
 HTML
 Export citation
UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC
 Part of

 Journal:
 Bulletin of Symbolic Logic / Volume 29 / Issue 2 / June 2023
 Published online by Cambridge University Press:
 20 April 2023, pp. 264293
 Print publication:
 June 2023

 Article

 You have access
 Open access
 HTML
 Export citation
TREE THEORY: INTERPRETABILITY BETWEEN WEAK FIRSTORDER THEORIES OF TREES
 Part of

 Journal:
 Bulletin of Symbolic Logic / Volume 29 / Issue 4 / December 2023
 Published online by Cambridge University Press:
 10 February 2023, pp. 465502
 Print publication:
 December 2023

 Article

 You have access
 Open access
 HTML
 Export citation
LARGE CARDINALS AS PRINCIPLES OF STRUCTURAL REFLECTION
 Part of

 Journal:
 Bulletin of Symbolic Logic / Volume 29 / Issue 1 / March 2023
 Published online by Cambridge University Press:
 23 January 2023, pp. 1970
 Print publication:
 March 2023

 Article
 Export citation
PROBABILISTIC ENTAILMENT ON FIRST ORDER LANGUAGES AND REASONING WITH INCONSISTENCIES
 Part of

 Journal:
 The Review of Symbolic Logic / Volume 16 / Issue 2 / June 2023
 Published online by Cambridge University Press:
 07 July 2022, pp. 351368
 Print publication:
 June 2023

 Article
 Export citation
MUTUAL INTERPRETABILITY OF WEAK ESSENTIALLY UNDECIDABLE THEORIES
 Part of

 Journal:
 The Journal of Symbolic Logic / Volume 87 / Issue 4 / December 2022
 Published online by Cambridge University Press:
 18 February 2022, pp. 13741395
 Print publication:
 December 2022

 Article
 Export citation
THE GENEALOGY OF ‘$\mathbin {\boldsymbol {\vee }}$’
 Part of

 Journal:
 The Review of Symbolic Logic / Volume 16 / Issue 3 / September 2023
 Published online by Cambridge University Press:
 03 January 2022, pp. 862899
 Print publication:
 September 2023

 Article

 You have access
 Open access
 HTML
 Export citation
GÖDEL’S THEOREM AND DIRECT SELFREFERENCE
 Part of

 Journal:
 The Review of Symbolic Logic / Volume 16 / Issue 2 / June 2023
 Published online by Cambridge University Press:
 02 December 2021, pp. 650654
 Print publication:
 June 2023

 Article
 Export citation
KURT GÖDEL ON LOGICAL, THEOLOGICAL, AND PHYSICAL ANTINOMIES
 Part of

 Journal:
 Bulletin of Symbolic Logic / Volume 27 / Issue 3 / September 2021
 Published online by Cambridge University Press:
 26 July 2021, pp. 267297
 Print publication:
 September 2021

 Article
 Export citation
FREGE’S THEORY OF REAL NUMBERS: A CONSISTENT RENDERING
 Part of

 Journal:
 The Review of Symbolic Logic / Volume 15 / Issue 3 / September 2022
 Published online by Cambridge University Press:
 22 February 2021, pp. 624667
 Print publication:
 September 2022

 Article
 Export citation
GÖDEL ON MANYVALUED LOGIC
 Part of

 Journal:
 The Review of Symbolic Logic / Volume 16 / Issue 3 / September 2023
 Published online by Cambridge University Press:
 22 February 2021, pp. 655671
 Print publication:
 September 2023

 Article
 Export citation
CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS
 Part of

 Journal:
 Bulletin of Symbolic Logic / Volume 27 / Issue 2 / June 2021
 Published online by Cambridge University Press:
 05 January 2021, pp. 113167
 Print publication:
 June 2021

 Article
 Export citation
THE POTENTIAL IN FREGE’S THEOREM
 Part of

 Journal:
 The Review of Symbolic Logic / Volume 16 / Issue 2 / June 2023
 Published online by Cambridge University Press:
 25 August 2020, pp. 553577
 Print publication:
 June 2023

 Article
 Export citation
LINGUA CHARACTERICA AND CALCULUS RATIOCINATOR: THE LEIBNIZIAN BACKGROUND OF THE FREGESCHRÖDER POLEMIC
 Part of

 Journal:
 The Review of Symbolic Logic / Volume 14 / Issue 2 / June 2021
 Published online by Cambridge University Press:
 29 June 2020, pp. 411446
 Print publication:
 June 2021

 Article
 Export citation
WITTGENSTEIN’S ELIMINATION OF IDENTITY FOR QUANTIFIERFREE LOGIC
 Part of

 Journal:
 The Review of Symbolic Logic / Volume 14 / Issue 1 / March 2021
 Published online by Cambridge University Press:
 25 June 2020, pp. 121
 Print publication:
 March 2021

 Article

 You have access
 Open access
 HTML
 Export citation
THE DEVELOPMENT OF GÖDEL’S ONTOLOGICAL PROOF
 Part of

 Journal:
 The Review of Symbolic Logic / Volume 14 / Issue 4 / December 2021
 Published online by Cambridge University Press:
 20 September 2019, pp. 10111029
 Print publication:
 December 2021

 Article
 Export citation
DE ZOLT’S POSTULATE: AN ABSTRACT APPROACH
 Part of

 Journal:
 The Review of Symbolic Logic / Volume 15 / Issue 1 / March 2022
 Published online by Cambridge University Press:
 02 September 2019, pp. 197224
 Print publication:
 March 2022

 Article
 Export citation