Math Department Home

Marginis

Search

Primary Menu

Skip to content
  • CSTheory
  • JLA
  • Refereed
  • Submit your formalizations
  • Editorial board

Monthly Archives: May 2024

JLA

Generalized effective completeness for continuous logic

May 30, 2024 admin Leave a comment

Generalized effective completeness for continuous logic
Caleb Camrud
Link to PDF

featured
JLA

Fractals and the monadic second order theory of one successor

May 30, 2024 admin

Fractals and the monadic second order theory of one successor
Philipp Hieronymi
Link to PDF

featured
JLA

Peano and Osgood theorems via effective infinitesimals

May 30, 2024 admin

Peano and Osgood theorems via effective infinitesimals
Karel Hrbacek, Mikhail Katz
Link to PDF

featured
JLA

K-theory of co-existentially closed continua

May 30, 2024 admin

K-theory of co-existentially closed continua
Christopher J. Eagle, Joshua Lau
Link to PDF

featured
JLA

Time complexity of the analyst’s traveling salesman algorithm

May 30, 2024 admin Leave a comment

Time complexity of the analyst’s traveling salesman algorithm
Anthony Ramirez, Vyron Vellis
Link to PDF

featured
JLA

Some semilattices of definable sets in continuous logic

May 30, 2024 admin Leave a comment

Some semilattices of definable sets in continuous logic
James Hanson
Link to PDF

featured

Formal Marginalia for CS Theory StackExchange & Journal of Logic and Analysis

Recent Posts

  • Generalized effective completeness for continuous logic
  • Fractals and the monadic second order theory of one successor
  • Peano and Osgood theorems via effective infinitesimals
  • K-theory of co-existentially closed continua
  • Time complexity of the analyst’s traveling salesman algorithm

Recent Comments

    Archives

    • May 2024
    • November 2023

    Categories

    • JLA
    • Marginis

    Meta

    • Log in
    • Entries feed
    • Comments feed
    • WordPress.org
    Powered by WordPress