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


Authors and titles for math.LO in Nov 2022

[ total of 63 entries: 1-25 | 26-50 | 51-63 ]
[ showing 25 entries per page: fewer | more | all ]
[1]  arXiv:2211.00116 [pdf, ps, other]
Title: Non-Galvin Filters
Subjects: Logic (math.LO)
[2]  arXiv:2211.00141 [pdf, ps, other]
Title: Definably semisimple groups interpretable in $p$-adically closed fields
Subjects: Logic (math.LO); Group Theory (math.GR)
[3]  arXiv:2211.00267 [pdf, ps, other]
Title: Strongly minimal reducts of ACVF
Authors: Santiago Pinzon
Comments: 42 pages, 5 chapters. This document is the PhD thesis of the author and it was advised by professors Alf Onshuus and Assaf Hasson
Subjects: Logic (math.LO)
[4]  arXiv:2211.01181 [pdf, ps, other]
Title: Hyperarithmetic numerals
Subjects: Logic (math.LO)
[5]  arXiv:2211.01269 [pdf, ps, other]
Title: Periods, Power Series, and Integrated Algebraic Numbers
Authors: Tobias Kaiser
Subjects: Logic (math.LO); Algebraic Geometry (math.AG); Number Theory (math.NT)
[6]  arXiv:2211.01775 [pdf, ps, other]
Title: Two examples concerning existential undecidability in fields
Authors: Philip Dittmann
Subjects: Logic (math.LO)
[7]  arXiv:2211.01882 [pdf, ps, other]
Title: Crisp bi-Gödel modal logic and its paraconsistent expansion
Subjects: Logic (math.LO)
[8]  arXiv:2211.02156 [pdf, ps, other]
Title: The $ω$-Vaught's Conjecture
Subjects: Logic (math.LO)
[9]  arXiv:2211.02591 [pdf, ps, other]
Title: Uniform Interpolation in provability logics
Authors: Marta Bilkova
Journal-ref: Liber Amicorum Alberti. A Tribute to Albert Visser. London: College Publications Tributes, 30., 2016 (Eijck van, J.; Iemhoff, R.; Joosten, J. eds), pp 57-90
Subjects: Logic (math.LO)
[10]  arXiv:2211.02749 [pdf, ps, other]
Title: Super-Łukasiewicz logics expanded by $Δ$
Subjects: Logic (math.LO)
[11]  arXiv:2211.02804 [pdf, ps, other]
Title: Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras
Subjects: Logic (math.LO); Rings and Algebras (math.RA)
[12]  arXiv:2211.02963 [pdf, ps, other]
Title: On subreducts of subresiduated lattices and logic
Subjects: Logic (math.LO)
[13]  arXiv:2211.03071 [pdf, ps, other]
Title: Independence relations for exponential fields
Comments: 25 pages
Subjects: Logic (math.LO)
[14]  arXiv:2211.03340 [pdf, ps, other]
Title: Complexity Classification Transfer for CSPs via Algebraic Products
Comments: 61 pages, 1 figure
Subjects: Logic (math.LO); Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)
[15]  arXiv:2211.03976 [pdf, ps, other]
Title: The Logic of Cardinality Comparison Without the Axiom of Choice
Comments: 25 pages
Subjects: Logic (math.LO)
[16]  arXiv:2211.04213 [pdf, other]
Title: Some Remarks on Kim-dividing in NATP Theories
Comments: Corrected typos. Added new remarks, including that the class of all omega-NDCTP2 theories contains all NTP1 theories and all NTP2 theories
Subjects: Logic (math.LO)
[17]  arXiv:2211.04578 [pdf, ps, other]
Title: Formal differential variables and an abstract chain rule
Comments: 13 pages
Subjects: Logic (math.LO)
[18]  arXiv:2211.05665 [pdf, ps, other]
Title: On Erdos--Dushnik--Miller theorem without the Axiom of Choice
Comments: 13 pages with a diagram
Subjects: Logic (math.LO); Combinatorics (math.CO); General Topology (math.GN); Group Theory (math.GR)
[19]  arXiv:2211.06190 [pdf, ps, other]
Title: There are no minimal effective inseparable theories
Authors: Yong Cheng
Comments: arXiv admin note: substantial text overlap with arXiv:2110.12233
Subjects: Logic (math.LO)
[20]  arXiv:2211.06736 [pdf, ps, other]
Title: Sublogarithmic-transexponential series
Authors: Adele Padgett
Comments: 78 pages. Comments welcome
Subjects: Logic (math.LO)
[21]  arXiv:2211.07404 [pdf, ps, other]
Title: Numbers Extensions
Comments: The changes made from previous version are vast: primarily the "unnatural" assumption isn't longer needed due to a changed methodology of construction (sections 5-7). This article also presents a second percolation theorem that applies to all ZFC model with a worldly cardinal
Subjects: Logic (math.LO); Computational Complexity (cs.CC)
[22]  arXiv:2211.07958 [pdf, ps, other]
Title: Iterated Priority Arguments in Descriptive Set Theory
Subjects: Logic (math.LO)
[23]  arXiv:2211.07961 [pdf, ps, other]
Title: An Effective Classification of Borel Wadge Classes
Subjects: Logic (math.LO)
[24]  arXiv:2211.08317 [pdf, ps, other]
Title: The logic of quantum mechanics incorporating time dimension
Subjects: Logic (math.LO)
[25]  arXiv:2211.08362 [pdf, ps, other]
Title: LST Numbers for $Q^{\text{e.c.}}$ and $I$ style quantifiers
Subjects: Logic (math.LO)
[ total of 63 entries: 1-25 | 26-50 | 51-63 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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