archive

407 papers in math.LO · page 9

401. 💻 cs.LO 2019-07-15 reviewed
     Logic reduces time-stamped claim sets via trust relations

     Time-Stamped Claim Logic

     Jo\~ao Rasga +3
402. 🧮 math.OA 2019-07-12 reviewed
     Model theory recasts operator algebra classifications

     An Introduction to Abstract Classification Theory in the Operator Algebraic Setting

     Patrick Fraser
403. 💻 cs.LO 2019-07-12 reviewed
     Delta language defines programs as list-formulas checked on dynamic models

     Delta -- new logic programming language and Delta-methodology for p-computable programs on Turing Complete Languages

     Andrey Nechesov
404. 🧮 math.LO 2019-07-11 reviewed
     Cut-free sequent calculi prove interpolation for weak negation logics

     Proof Theory for Positive Logic with Weak Negation

     Marta B\'ilkov\'a +1
405. 🧮 math.LO 2019-07-10 reviewed
     Gödel modal logics not realized by basic justification logics

     Standard G\"odel modal logics are not realized by G\"odel justification logics

     Nicholas Pischke
406. 🧮 math.LO 2019-07-08 reviewed
     ILP0 and ILR complete for generalized Veltman semantics

     Interpretability logics and generalized Veltman semantics

     Luka Mikec +1
407. 🧮 math.LO 2019-07-08 reviewed
     Tree property at aleph_n consistent with any continuum below aleph_omega

     Easton's theorem for the tree property below aleph_omega

     Sarka Stejskalova
408. 🧮 math.GR 2019-07-07 reviewed
     Torsion-free hyperbolic groups homogeneous via JSJ of free factors

     Homogeneity of torsion-free hyperbolic groups

     Ayala Dente-Byron +1
409. 🧮 math.LO 2019-07-05 reviewed
     Parallelized Σ¹₁-choice on integers gets its Weihrauch degree fixed

     A comparison of various analytic choice principles

     Paul-Elliot Angl\`es d'Auriac +1
410. 🧮 math.LO 2019-07-05 reviewed
     AD implies DC inside countably iterable passive mice

     The Axiom of Determinacy Implies Dependent Choices in Mice

     Sandra M\"uller
411. 🧮 math.LO 2019-07-05 reviewed
     Unsharp residuation organizes posets into effect algebras

     Unsharp residuation in effect algebras

     Ivan Chajda +1
412. 🧮 math.NT 2019-07-05 reviewed
     All linear dependencies of CM points on elliptic curves are described

     Independence of CM points in Elliptic Curves

     Jonathan Pila +1
413. 🧮 math.CO 2019-07-05 reviewed
     Homogeneous partitions obey a dual Ramsey theorem

     Homogeneous Dual Ramsey Theorem

     Jose G. Mijares
414. 🧮 math.LO 2019-07-05 reviewed
     Age algebras of metrically homogeneous graphs are polynomial

     The Algebra of an Age for Metrically Homogeneous Graphs of Generic Type

     Rebecca Coulson
415. 🧮 math.LO 2019-07-04 reviewed
     UMP holds exactly when the logic is compact

     Metastable convergence and logical compactness

     Xavier Caicedo +2
416. 🧮 math.LO 2019-06-30 reviewed
     Upper bounds close gap on graph minor theorem strength

     Upper bounds on the graph minor theorem

     Martin Krombholz +1
417. 🧮 math.LO 2019-06-28 reviewed
     Computability theory ranks Lebesgue space classification difficulty

     On the complexity of classifying Lebesgue spaces

     Tyler Brown +2
418. 🧮 math.LO 2019-06-27 reviewed
     F_sigma game determinacy of length omega^2 equals reflective KP+AD model

     $F_\sigma$ Games and Reflection in $L(\mathbb{R})$

     J. P. Aguilera
419. 🧮 math.LO 2019-06-27 reviewed
     Borel games of length ω² determined iff extender models exist

     Long Borel Games

     J. P. Aguilera
420. 🧮 math.LO 2019-06-26 reviewed
     Formula valid exactly when it has a lax fibration proof

     First-order proofs without syntax

     Dominic J. D. Hughes
421. 🧮 math.LO 2019-06-25 reviewed
     Topological many-one degrees of real functions fully described

     Topological reducibilities for discontinuous functions and their structures

     Takayuki Kihara
422. 🧮 math.LO 2019-06-24 reviewed
     Admissible ordinals can be OTM-clockable but Σ₂ ones cannot

     A Note on Clockability for Ordinal Turing Machines

     Merlin Carl
423. 🧮 math.LO 2019-06-23 reviewed
     Forcing from supercompact yields model of ZF+DC_κ without κ-mad families

     On the non-existence of $\kappa$-mad families

     Haim Horowitz +1
424. 🧮 math.LO 2019-06-22 reviewed
     Homotopy theory developed synthetically in type theory

     Classifying Types

     Egbert Rijke
425. 🧮 math.LO 2019-06-21 reviewed
     Compactness for pseudopowers proven when σ regular and ≤ cf(μ)

     Representability and Compactness for Pseudopowers

     Todd Eisworth
426. 💻 cs.CC 2019-06-20 reviewed
     Simulation model shows P=NP cannot be proved

     Computer-Simulation Model Theory (P= NP is not provable)

     Rasoul Ramezanian