Synthical
Your space
Profile
Activity
Favorites
Folders
Feeds
All articles
Claim page
Francesca Guffanti
Follow
Activity
Upvotes
Folders
Articles
4
Adding a constant and an axiom to a doctrine
17 July 2024 by
Francesca Guffanti
Category Theory
,
Logic
Rich doctrines and Henkin's Theorem
16 July 2024 by
Francesca Guffanti
Category Theory
,
Logic
Quantifier-free formulas and quantifier alternation depth in doctrines
20 June 2024 by
Marco Abbadini
and
Francesca Guffanti
Logic
,
Category Theory
Left adjoint to precomposition in elementary doctrines
12 February 2024 by
Francesca Guffanti
Category Theory
,
Logic
This is an AI-generated summary
Key points
Topics
Logic
Category Theory