Logic

Authors and titles for math.LO in Nov 2022

[1]  arXiv:2211.00116 [pdf, ps, other]

Title: Non-Galvin Filters

Authors: Tom Benhamou, Shimon Garti, Moti Gitik, Alejandro Poveda

Subjects: Logic (math.LO)

[2]  arXiv:2211.00141 [pdf, ps, other]

Title: Definably semisimple groups interpretable in $p$-adically closed fields

Authors: Yatir Halevi, Assaf Hasson, Ya'acov Peterzil

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

Authors: Caleb M.H. Camrud, Timothy H. McNicholl

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

Authors: Marta Bilkova, Sabine Frittella, Daniil Kozhemiachenko

Subjects: Logic (math.LO)

[8]  arXiv:2211.02156 [pdf, ps, other]

Title: The $ω$-Vaught's Conjecture

Authors: David Gonzalez, Antonio Montalbán

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 $Δ$

Authors: Aldo V. Figallo, Aldo Figallo-Orellano, Martín Figallo

Subjects: Logic (math.LO)

[11]  arXiv:2211.02804 [pdf, ps, other]

Title: Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras

Authors: Natanael Alpay, Peter Jipsen, Melissa Sugimoto

Subjects: Logic (math.LO); Rings and Algebras (math.RA)

[12]  arXiv:2211.02963 [pdf, ps, other]

Title: On subreducts of subresiduated lattices and logic

Authors: J.L. Castiglioni, V. Fernández, H.F. Mallea, H.J. San Martín

Subjects: Logic (math.LO)

[13]  arXiv:2211.03071 [pdf, ps, other]

Title: Independence relations for exponential fields

Authors: Vahagn Aslanyan, Robert Henderson, Mark Kamsma, Jonathan Kirby

Comments: 25 pages

Subjects: Logic (math.LO)

[14]  arXiv:2211.03340 [pdf, ps, other]

Title: Complexity Classification Transfer for CSPs via Algebraic Products

Authors: Manuel Bodirsky, Peter Jonsson, Barnaby Martin, Antoine Mottet, Žaneta Semanišinová

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

Authors: Matthew Harrison-Trainor, Dhruv Kulshreshtha

Comments: 25 pages

Subjects: Logic (math.LO)

[16]  arXiv:2211.04213 [pdf, other]

Title: Some Remarks on Kim-dividing in NATP Theories

Authors: Joonhee Kim, Hyoyoon Lee

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

Authors: Samuel Allen Alexander

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

Authors: Amitayu Banerjee, Alexa Gopulsingh

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

Authors: David O. Zisselman

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

Authors: Adam Day, Noam Greenberg, Matthew Harrison-Trainor, Dan Turetsky

Subjects: Logic (math.LO)

[23]  arXiv:2211.07961 [pdf, ps, other]

Title: An Effective Classification of Borel Wadge Classes

Authors: Adam Day, Noam Greenberg, Matthew Harrison-Trainor, Dan Turetsky

Subjects: Logic (math.LO)

[24]  arXiv:2211.08317 [pdf, ps, other]

Title: The logic of quantum mechanics incorporating time dimension

Authors: Ivan Chajda, Helmut Länger

Subjects: Logic (math.LO)

[25]  arXiv:2211.08362 [pdf, ps, other]

Title: LST Numbers for $Q^{\text{e.c.}}$ and $I$ style quantifiers

Authors: Christopher Turner

Subjects: Logic (math.LO)