Logic

Authors and titles for May 2021

[1] arXiv:2105.00322 [pdf, other]

Title: Failures of square in Pmax extensions of Chang models

Paul B. Larson, Grigor Sargsyan

Subjects: Logic (math.LO)

[2] arXiv:2105.01037 [pdf, other]

Title: Compactness and Guessing Principles in the Radin Extensions

Omer Ben-Neria, Jing Zhang

Comments: 22 pages

Subjects: Logic (math.LO)

[3] arXiv:2105.01291 [pdf, other]

Title: The automorphism group of the Fraïssé limit of finite Heyting algebras

Kentaro Yamamoto

Comments: This revision fixes the gap present in the version published prematurely in Journal of Symbolic Logic due to an editorial error

Subjects: Logic (math.LO)

[4] arXiv:2105.01719 [pdf, other]

Title: Reverse mathematics and Weihrauch analysis motivated by finite complexity theory

Zack BeMent, Jeffry Hirst, Asuka Wallace

Subjects: Logic (math.LO)

[5] arXiv:2105.01776 [pdf, other]

Title: Ideal operators and higher indescribability

Brent Cody, Peter Holy

Comments: Fixed minor typos and errors

Subjects: Logic (math.LO)

[6] arXiv:2105.01855 [pdf, other]

Title: Hennessy-Milner Properties via Topological Compactness

Jim de Groot, Dirk Pattinson

Subjects: Logic (math.LO)

[7] arXiv:2105.01873 [pdf, other]

Title: Gödel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication

Jim de Groot, Tadeusz Litak, Dirk Pattinson

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)

[8] arXiv:2105.02975 [pdf, other]

Title: Cousin's lemma in second-order arithmetic

Jordan Mitchell Barrett, Rodney G. Downey, Noam Greenberg

Comments: 13 pages, no figures

Subjects: Logic (math.LO)

[9] arXiv:2105.03252 [pdf, other]

Title: Constructing Initial Algebras Using Inflationary Iteration

Andrew M. Pitts (University of Cambridge), S. C. Steenkamp (University of Cambridge)

Comments: In Proceedings ACT 2021, arXiv:2211.01102

Journal-ref: EPTCS 372, 2022, pp. 88-102

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO); Category Theory (math.CT)

[10] arXiv:2105.03335 [pdf, other]

Title: Non-Collapse of the Effective Wadge Hierarchy

Victor Selivanov

Subjects: Logic (math.LO)

[11] arXiv:2105.03771 [pdf, other]

Title: An undecidability result for the asymptotic theory of $p$-adic fields

Konstantinos Kartas

Comments: 15 pages

Journal-ref: Annals of Pure and Applied Logic, Volume 174, Issue 2, February 2023

Subjects: Logic (math.LO); Number Theory (math.NT)

[12] arXiv:2105.04063 [pdf, other]

Title: $Δ^1_1$ Effectivization in Borel Combinatorics

Riley Thornton

Subjects: Logic (math.LO)

[13] arXiv:2105.04661 [pdf, other]

Title: No speedup for geometric theories

Michael Rathjen

Subjects: Logic (math.LO); Computational Complexity (cs.CC)

[14] arXiv:2105.04918 [pdf, other]

Title: Mild parametrizations of power-subanalytic sets

Siegfried Van Hille

Journal-ref: Annals of Pure and Applied Logic, Volume 173, Issue 6, 2022

Subjects: Logic (math.LO); Number Theory (math.NT)

[15] arXiv:2105.04989 [pdf, html, other]

Title: Strong ergodicity phenomena for Bernoulli shifts of bounded algebraic dimension

Aristotelis Panagiotopoulos, Assaf Shani

Subjects: Logic (math.LO); Dynamical Systems (math.DS); Group Theory (math.GR)

[16] arXiv:2105.05144 [pdf, other]

Title: Actions of tame abelian product groups

Shaun Allison, Assaf Shani

Subjects: Logic (math.LO)

[17] arXiv:2105.05315 [pdf, other]

Title: Doubly Strongly First Order Dependencies

Pietro Galliani

Subjects: Logic (math.LO)

[18] arXiv:2105.05339 [pdf, other]

Title: On measures induced by forcing names for ultrafilters

Piotr Borodulin-Nadzieja, Katarzyna Cegiełka

Subjects: Logic (math.LO)

[19] arXiv:2105.05362 [pdf, other]

Title: A dichotomy for countable unions of smooth Borel equivalence relations

N. de Rancourt, B. D. Miller

Comments: 33 pages

Subjects: Logic (math.LO)

[20] arXiv:2105.05374 [pdf, other]

Title: The Feldman-Moore, Glimm-Effros, and Lusin-Novikov theorems over quotients

N. de Rancourt, B. D. Miller

Comments: 25 pages

Subjects: Logic (math.LO)

[21] arXiv:2105.06304 [pdf, html, other]

Title: A computable version of Hall's Harem Theorem and Geometric von Neumann Conjecture

Karol Duda

Comments: Previous version of the paper is splitted, this part concerns computable version of the Theorem title changed as a result of this splitting. Rewriting of the construction to clarify some parts. Added additional figures explaining construction

Subjects: Logic (math.LO); Combinatorics (math.CO); Group Theory (math.GR)

[22] arXiv:2105.06397 [pdf, other]

Title: Model theory of derivations of the Frobenius map revisited

Jakub Gogolok

Subjects: Logic (math.LO)

[23] arXiv:2105.06403 [pdf, html, other]

Title: Hjorth's reflection argument

Grigor Sargsyan

Comments: Some typos and minor mistakes were corrected

Subjects: Logic (math.LO)

[24] arXiv:2105.06570 [pdf, other]

Title: Simplified Kripke semantics for K45-like Godel modal logics and its axiomatic extensions

Ricardo Rodriguez, Olim Tuyt, Lluis Godo, Francesc Esteva

Comments: arXiv admin note: text overlap with arXiv:1611.04444

Subjects: Logic (math.LO); Artificial Intelligence (cs.AI)

[25] arXiv:2105.06877 [pdf, other]

Title: First order logic properly displayed

Samuel Balco, Giuseppe Greco, Alexander Kurz, Andrew Moshier, Alessandra Palmigiano, Apostolos Tzimoulis

Subjects: Logic (math.LO)