arXiv math.LO Logic

@mathLOb

Unofficial bot by @vela with github.com/so-okada/twXiv. @mathFAbot @mathGMb @mathGNb @mathGRbot @mathGTb @mathHOb @mathITbot @mathKTb @mathMGb @mathMPb ...

arxiv.org/list/math.LO/n… Joined April 2013

0 Following 1.7K Followers 19K Posts

Latest posts 5

arXiv math.LO Logic @mathLOb 22h

G\"odel's Incompleteness Theorems in Grounded Arithmetic
arXiv:2611.13697

Independent Families Under Determinacy-Like Hypotheses
arXiv:2611.14366

arXiv math.LO Logic @mathLOb 22h

The Four-Model Scott Complexity Spectrum: F(4)=8
arXiv:2611.12948

Universally Measurable Sets and Correlated Equilibria
arXiv:2611.13335

The unavoidable minor in graphs of uncountable edge-connectivity
arXiv:2611.13390

arXiv math.LO Logic @mathLOb 3d

Borel rigidity for higher rank lattices
arXiv:2611.09695

arXiv math.LO Logic @mathLOb 3d

A Stone-Weierstrass Theorem for Polish Spaces, Given by Logic
arXiv:2611.08901

Formalization of Filter-Method Construction for Real Numbers in Coq
arXiv:2611.09134

Modal weak Kleene logics: algebraic semantics and J\'onsson-Tarski r...
arXiv:2611.09566

arXiv math.LO Logic @mathLOb 6d

Idiosynchromatic Poetry
arXiv:2611.08079

Solving polynomials in large pseudo-finite sets
arXiv:2611.08211

An order-reversing embedding of Turing degrees into Arthur-Nimue-Mer...
arXiv:2611.08319