We gratefully acknowledge support from
the Simons Foundation and member institutions.

Logic

Authors and titles for math.LO in May 2022, skipping first 20

[ total of 63 entries: 1-10 | 11-20 | 21-30 | 31-40 | 41-50 | 51-60 | 61-63 ]
[ showing 10 entries per page: fewer | more | all ]
[21]  arXiv:2205.05995 [pdf, ps, other]
Title: What Kinds of Connectives Cause the Difference between Intuitionistic Predicate Logic and the Logic of Constant Domains?
Subjects: Logic (math.LO)
[22]  arXiv:2205.06022 [pdf, ps, other]
Title: Undefinability and Absolute Undefinability in Arithmetic
Authors: Roman Kossak
Subjects: Logic (math.LO)
[23]  arXiv:2205.06335 [pdf, ps, other]
Title: Frucht's theorem in Borel setting
Subjects: Logic (math.LO); Combinatorics (math.CO)
[24]  arXiv:2205.06466 [pdf, ps, other]
Title: Strongly First Order, Domain Independent Dependencies: the Union-Closed Case
Authors: Pietro Galliani
Subjects: Logic (math.LO)
[25]  arXiv:2205.08276 [pdf, ps, other]
Title: Generalized Realizability and Intuitionistic Logic
Comments: arXiv admin note: substantial text overlap with arXiv:2001.08989
Subjects: Logic (math.LO)
[26]  arXiv:2205.08684 [pdf, ps, other]
Title: Strong minimality of triangle functions
Comments: 8 pages
Subjects: Logic (math.LO); Algebraic Geometry (math.AG); Number Theory (math.NT)
[27]  arXiv:2205.10632 [pdf, ps, other]
Title: Logic of the Ontological Argument
Subjects: Logic (math.LO); History and Overview (math.HO)
[28]  arXiv:2205.10644 [pdf, ps, other]
Title: Unification types and union splittings in intermediate logics
Subjects: Logic (math.LO)
[29]  arXiv:2205.10709 [pdf, ps, other]
Title: On the sequence $\langle \text{pcf}^α(A): α\in \text{Ord} \rangle$
Subjects: Logic (math.LO)
[30]  arXiv:2205.10891 [pdf, ps, other]
Title: Hofmann-Mislove through the Lenses of Priestley
Subjects: Logic (math.LO); General Topology (math.GN)
[ total of 63 entries: 1-10 | 11-20 | 21-30 | 31-40 | 41-50 | 51-60 | 61-63 ]
[ showing 10 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, math, 2302, contact, help  (Access key information)