207 results in 03BXX
Functorial FastGrowing Hierarchies
 Part of

 Journal:
 Forum of Mathematics, Sigma / Volume 12 / 2024
 Published online by Cambridge University Press:
 26 January 2024, e15

 Article

 You have access
 Open access
 HTML
 Export citation
DEGREE OF SATISFIABILITY IN HEYTING ALGEBRAS
 Part of

 Journal:
 The Journal of Symbolic Logic , First View
 Published online by Cambridge University Press:
 09 January 2024, pp. 119

 Article
 Export citation
THE BAIRE CLOSURE AND ITS LOGIC
 Part of

 Journal:
 The Journal of Symbolic Logic , First View
 Published online by Cambridge University Press:
 05 January 2024, pp. 123

 Article
 Export citation
FORBIDDEN INDUCED SUBGRAPHS AND THE ŁOŚ–TARSKI THEOREM
 Part of

 Journal:
 The Journal of Symbolic Logic , First View
 Published online by Cambridge University Press:
 04 January 2024, pp. 133

 Article
 Export citation
PARACONSISTENT AND PARACOMPLETE ZERMELO–FRAENKEL SET THEORY
 Part of

 Journal:
 The Review of Symbolic Logic , First View
 Published online by Cambridge University Press:
 13 December 2023, pp. 131

 Article

 You have access
 Open access
 HTML
 Export citation
DIVIDING LINES BETWEEN POSITIVE THEORIES
 Part of

 Journal:
 The Journal of Symbolic Logic , First View
 Published online by Cambridge University Press:
 06 December 2023, pp. 125

 Article
 Export citation
BETWEENNESS ALGEBRAS
 Part of

 Journal:
 The Journal of Symbolic Logic , First View
 Published online by Cambridge University Press:
 15 November 2023, pp. 125

 Article

 You have access
 Open access
 HTML
 Export citation
BIG IN REVERSE MATHEMATICS: MEASURE AND CATEGORY
 Part of

 Journal:
 The Journal of Symbolic Logic , First View
 Published online by Cambridge University Press:
 17 October 2023, pp. 146

 Article
 Export citation
FINITE UNDECIDABILITY IN NIP FIELDS
 Part of

 Journal:
 The Journal of Symbolic Logic , First View
 Published online by Cambridge University Press:
 04 October 2023, pp. 124

 Article
 Export citation
ALGEBRAIC SEMANTICS FOR RELATIVE TRUTH, AWARENESS, AND POSSIBILITY
 Part of

 Journal:
 The Review of Symbolic Logic , First View
 Published online by Cambridge University Press:
 28 September 2023, pp. 124

 Article
 Export citation
WEAK WELL ORDERS AND FRAÏSSÉ’S CONJECTURE
 Part of

 Journal:
 The Journal of Symbolic Logic , First View
 Published online by Cambridge University Press:
 27 September 2023, pp. 116

 Article

 You have access
 Open access
 HTML
 Export citation
PROOF SYSTEMS FOR TWOWAY MODAL MUCALCULUS
 Part of

 Journal:
 The Journal of Symbolic Logic , First View
 Published online by Cambridge University Press:
 04 September 2023, pp. 150

 Article

 You have access
 Open access
 HTML
 Export citation
INTERLEAVING LOGIC AND COUNTING
 Part of

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

 Article
 Export citation
EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES
 Part of

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

 Article
 Export citation
Decidability of the class of all the rings $\mathbb {Z}/m\mathbb {Z}$: A problem of Ax
 Part of

 Journal:
 Forum of Mathematics, Sigma / Volume 11 / 2023
 Published online by Cambridge University Press:
 24 July 2023, e64

 Article

 You have access
 Open access
 HTML
 Export citation
CONNEXIVE IMPLICATIONS IN SUBSTRUCTURAL LOGICS
 Part of

 Journal:
 The Review of Symbolic Logic , First View
 Published online by Cambridge University Press:
 24 July 2023, pp. 132

 Article
 Export citation
TESTING DEFINITIONAL EQUIVALENCE OF THEORIES VIA AUTOMORPHISM GROUPS
 Part of

 Journal:
 The Review of Symbolic Logic , First View
 Published online by Cambridge University Press:
 17 July 2023, pp. 122

 Article
 Export citation
SUBJECTMATTER AND INTENSIONAL OPERATORS III: STATESENSITIVE SUBJECTMATTER AND TOPIC SUFFICIENCY
 Part of

 Journal:
 The Review of Symbolic Logic , First View
 Published online by Cambridge University Press:
 12 July 2023, pp. 127

 Article
 Export citation
RELEVANT CONSEQUENCE RELATIONS: AN INVITATION
 Part of

 Journal:
 The Review of Symbolic Logic , First View
 Published online by Cambridge University Press:
 30 June 2023, pp. 131

 Article

 You have access
 Open access
 HTML
 Export citation
IS CANTOR’S THEOREM A DIALETHEIA? VARIATIONS ON A PARACONSISTENT APPROACH TO CANTOR’S THEOREM
 Part of

 Journal:
 The Review of Symbolic Logic , First View
 Published online by Cambridge University Press:
 29 June 2023, pp. 118

 Article
 Export citation