Synthical
Your space
Profile
Activity
Favorites
Folders
Feeds
All articles
Simple
Original
Articles by
Stephen Boyce
On the arithmetization of syntax
4 days ago by
Stephen Boyce
General Mathematics
Tarski's Undefinability Theorem and first-order arithmetic
18 September 2025 by
Stephen Boyce
Logic
On the formalist account of an arbitrary first-order theory
14 May 2025 by
Stephen Boyce
Logic
Goedel's proof: a revisionist view
14 May 2025 by
Stephen Boyce
General Mathematics
Identification and characterization of the T cell receptor (TCR) repertoire of the Cynomolgus macaque (Macaca Fascicularis)
12 September 2022 by
Shashwat Jaiswal
and
others
Immunology
CD4 T cell help prevents CD8 T cell exhaustion and promotes control of Mycobacterium tuberculosis infection
14 September 2021 by
Yi-Jie Lu
and
others
at
University of Massachusetts Medical School
Immunology
Limited recognition of Mycobacterium tuberculosis-infected macrophages by polyclonal CD4 and CD8 T cells from the lungs of infected mice
21 October 2019 by
Y. Patankar
and
others
at
University of Massachusetts Medical School
Immunology
Articles by Stephen Boyce | Synthical
