arXiv math.LO Logic

arXiv math.LO Logic

Photos and videos

Tweets

arXiv math.LO Logic @mathLOb

Jun 12

On the sunflower property and the galah property arXiv:2606.13656

176

arXiv math.LO Logic

arXiv math.LO Logic @mathLOb

Jun 12

On a local variant of the 12th Delfino problem -- the \Pi-side arXiv:2606.13210 Finite-Query Collapse and Modal Exact Bases in the SCI Hierarchy arXiv:2606.13250 Extended Frege proofs, circuits and rewriting arXiv:2606.13367

210

arXiv math.LO Logic

arXiv math.LO Logic @mathLOb

Jun 12

The reverse mathematics of the Ordered Variable Word theorem arXiv:2606.12962 A note on uniform finiteness in weakly o-minimal theories arXiv:2606.12982 On a local variant of the 12th Delfino problem -- the \Sigma-side arXiv:2606.13199

212

arXiv math.LO Logic

arXiv math.LO Logic @mathLOb

Jun 11

Normalisation for Positive Free Logics without and with Definite Des... arXiv:2606.11735 Russell's Theory of Definite Descriptions in the Light of Structural... arXiv:2606.11750 Vaught's Conjecture for Unions of Products of Rooted Trees arXiv:2606.12014

196

arXiv math.LO Logic

arXiv math.LO Logic @mathLOb

Jun 11

Generic dc-automorphisms of two-sorted ultrametric spaces arXiv:2606.11498 A note on generic n-partite graphs arXiv:2606.11540 Measurable matchings in unbalanced graphs arXiv:2606.11558

164

arXiv math.LO Logic

arXiv math.LO Logic @mathLOb

Jun 10

Strong truncations and Maximal Ideal Principles arXiv:2606.10202

197

arXiv math.LO Logic

arXiv math.LO Logic @mathLOb

Jun 9

\mathbb Z-Ramsey ultrafilters arXiv:2606.09761

442

arXiv math.LO Logic

arXiv math.LO Logic @mathLOb

Jun 9

A hyperamalgamation property arXiv:2606.09329 Undecidability, Chaos and Universality in Arithmetic Terms arXiv:2606.09336 A characterization of Projective and Weakly Projective Boolean Algebras arXiv:2606.09580

377

arXiv math.LO Logic

arXiv math.LO Logic @mathLOb

Jun 9

Weakly o-minimal fields have the exchange property but not generic d... arXiv:2606.08527 Combinatorics in one-based and related structures arXiv:2606.08740 Monotone convergence theorems equivalent to Markov's principle arXiv:2606.08863

195

arXiv math.LO Logic

arXiv math.LO Logic @mathLOb

Jun 9

Constructive Stone representations for separated swap and Boolean al... arXiv:2606.08176 Discontinuous homomophisms without Hamel bases arXiv:2606.08384 On Constructive Connectedness Properties arXiv:2606.08455

172

arXiv math.LO Logic

arXiv math.LO Logic @mathLOb

Jun 8

Cyclic proofs in the equational version of Primitive recursive arith... arXiv:2606.07166

275

arXiv math.LO Logic

arXiv math.LO Logic @mathLOb

Jun 5

The computable functional calculus arXiv:2606.05456 Strong colorings based on oscillations arXiv:2606.05790 A Proof in Coq that Core Logic is not Paraconsistent arXiv:2606.05953

202

arXiv math.LO Logic

arXiv math.LO Logic @mathLOb

Jun 4

Visibility Theory arXiv:2606.04026

217

arXiv math.LO Logic

arXiv math.LO Logic @mathLOb

Jun 3

A topos for \'etale-finite Heyting algebras arXiv:2606.03861

231

arXiv math.LO Logic

arXiv math.LO Logic @mathLOb

Jun 3

Everywhere \mathcal{I} sets arXiv:2606.03366 Monadic and cylindric expansions of bounded implication algebras arXiv:2606.03400 A note on the independence of the injective pigeonhole principle fro... arXiv:2606.03585

159

arXiv math.LO Logic

arXiv math.LO Logic @mathLOb

Jun 3

Canonical reconstruction and forcing absoluteness of standard struct... arXiv:2606.02898 On Local Finiteness of Modal K4 Algebras arXiv:2606.02941 The approximate strong completeness of the hypersequent calculus \te... arXiv:2606.03133

178

arXiv math.LO Logic

arXiv math.LO Logic @mathLOb

Jun 2

On Star operation and some ideals on the Baire space arXiv:2606.01180 Numerical choice, Riemann integration, and Reverse Mathematics arXiv:2606.01420 Uniform Bounds in D-Minimal Structures arXiv:2606.02316

160

arXiv math.LO Logic

arXiv math.LO Logic @mathLOb

Jun 2

The Axiom of Double Complement and its opposites arXiv:2606.00861 Minimization Principle for Polynomial-Time Predicates and Forcing in... arXiv:2606.01163 G\"odel coding on fibrations and geminal categories arXiv:2606.01165

459

arXiv math.LO Logic

arXiv math.LO Logic @mathLOb

Jun 2

At the Edge of Putnam's Program: Limitative Results For Computable I... arXiv:2606.00363 A New Ehrenfeucht-Fra\"iss\'e Game for Dependence Logic arXiv:2606.00812 Conjunctive reducibilities and completeness arXiv:2606.00845

223

arXiv math.LO Logic

arXiv math.LO Logic @mathLOb

May 29

The Q-Calculus: A Quaternion-Based Laws of Form System arXiv:2605.29246 Undecidability in Relevant Logic arXiv:2605.29880

224