Generalized effective completeness for continuous logic
Caleb Camrud
Link to PDF
All posts by admin
Fractals and the monadic second order theory of one successor
Fractals and the monadic second order theory of one successor
Philipp Hieronymi
Link to PDF
Peano and Osgood theorems via effective infinitesimals
Peano and Osgood theorems via effective infinitesimals
Karel Hrbacek, Mikhail Katz
Link to PDF
K-theory of co-existentially closed continua
K-theory of co-existentially closed continua
Christopher J. Eagle, Joshua Lau
Link to PDF
Time complexity of the analyst’s traveling salesman algorithm
Time complexity of the analyst’s traveling salesman algorithm
Anthony Ramirez, Vyron Vellis
Link to PDF
Some semilattices of definable sets in continuous logic
Some semilattices of definable sets in continuous logic
James Hanson
Link to PDF
Formal marginalia
Hanc marginis exiguitas non caperet
Pierre de Fermat famously wrote “Hanc marginis exiguitas non caperet” (this margin is too narrow to contain it) about his purported proof that there are no integers $x,y,z>1$, $n>2$ with $x^n+y^n=z^n$.
Marginis is a collection of formal proofs of small observations one might make when reading a mathematics paper, that are simple enough that the margin can contain them.
Marginis is focused on the Journal of Logic and Analysis and its list of 145 (as of June 7, 2024) papers.