Logic

Authors and titles for October 2019

[51] arXiv:1910.11287 [pdf, other]

Title: A definability criterion for connected Lie groups

Alf Onshuus, Sacha Post

Subjects: Logic (math.LO); Group Theory (math.GR); Representation Theory (math.RT)

[52] arXiv:1910.11404 [pdf, html, other]

Title: Non-locally modular regular types in classifiable theories

Elisabeth Bouscaren, Bradd Hart, Ehud Hrushovski, Michael C. Laskowski

Comments: Revised version, many details added, Appendix extended

Subjects: Logic (math.LO)

[53] arXiv:1910.11996 [pdf, other]

Title: Monadic pseudo BE-algebras

Lavinia Corina Ciungu

Subjects: Logic (math.LO)

[54] arXiv:1910.12171 [pdf, html, other]

Title: Model theory of differential-henselian pre-$H$-fields

Nigel Pynn-Coates

Comments: 37 pages; v5: revised according to suggestions by the referee, sections 3 and 4.A rewritten, smaller changes throughout

Subjects: Logic (math.LO); Commutative Algebra (math.AC)

[55] arXiv:1910.13186 [pdf, other]

Title: Completion of Choice

Vasco Brattka, Guido Gherardi

Comments: 30 pages

Journal-ref: Annals of Pure and Applied Logic 172:3 (2021) 102914

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

[56] arXiv:1910.13504 [pdf, other]

Title: An NIP structure which does not interpret an infinite group but whose Shelah expansion interprets an infinite field

Erik Walsberg

Comments: 3 pages

Subjects: Logic (math.LO)

[57] arXiv:1910.13975 [pdf, other]

Title: A Brief Tour of Logic and Optimization

John Hooker

Subjects: Logic (math.LO)

[58] arXiv:1910.14391 [pdf, other]

Title: Small u(kappa) at singular kappa with compactness at kappa++

Radek Honzik, Sarka Stejskalova

Comments: 20 pages, submitted

Subjects: Logic (math.LO)

[59] arXiv:1910.14471 [pdf, other]

Title: Decidability Problems for Adele Rings and related restricted products

Jamshid Derakhshan, Angus Macintyre

Subjects: Logic (math.LO)

[60] arXiv:1910.14480 [pdf, other]

Title: How to have more things by forgetting how to count them

Asaf Karagila, Philipp Schlicht

Comments: 12 pages

Journal-ref: Proc. R. Soc. A.476:2019.0782 (2019)

Subjects: Logic (math.LO)

[61] arXiv:1910.14517 [pdf, other]

Title: Truncations of Ordered Abelian Groups

Paola D'Aquino, Jamshid Derakhshan, Angus Macintyre

Subjects: Logic (math.LO)

[62] arXiv:1910.00311 (cross-list from math.CO) [pdf, other]

Title: The Ramsey properties for Grassmannians over $\mathbb R$, $\mathbb C$

Dana Bartošová, Jordi Lopez-Abad, Martino Lupini, Brice Mbombo

Subjects: Combinatorics (math.CO); Functional Analysis (math.FA); Logic (math.LO)

[63] arXiv:1910.00635 (cross-list from cs.LO) [pdf, other]

Title: Extraction of Efficient Programs in $IΣ_1$-arithmetic

Ján Komara, Paul J. Voda

Comments: 16 pages; reprint of the technical report from July, 2000

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

[64] arXiv:1910.01014 (cross-list from math.CT) [pdf, other]

Title: Codensity: Isbell duality, pro-objects, compactness and accessibility

Ivan Di Liberti

Comments: 20 pages. Final version. Accepted by Journal of Pure and Applied Algebra

Subjects: Category Theory (math.CT); General Topology (math.GN); Logic (math.LO)

[65] arXiv:1910.01239 (cross-list from math.NT) [pdf, other]

Title: Undecidability, unit groups, and some totally imaginary infinite extensions of $\mathbb{Q}$

Caleb Springer

Comments: 11 pages

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

[66] arXiv:1910.01387 (cross-list from math.RA) [pdf, other]

Title: The Hahn embedding theorem for a class of residuated semigroups

Sándor Jenei

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

[67] arXiv:1910.01404 (cross-list from math.RA) [pdf, other]

Title: Group representation for even and odd involutive commutative residuated chains

Sándor Jenei

Comments: This is the version which appeared in Studia Logica

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

[68] arXiv:1910.02446 (cross-list from cs.LO) [pdf, other]

Title: Modal Logic via Global Consequence

Xuefeng Wen

Comments: NCML 2019 Paper

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

[69] arXiv:1910.03917 (cross-list from cs.LO) [pdf, other]

Title: Clause Set Cycles and Induction

Stefan Hetzl, Jannik Vierling

Journal-ref: Logical Methods in Computer Science, Volume 16, Issue 4 (November 30, 2020) lmcs:5832

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

[70] arXiv:1910.05215 (cross-list from cs.LO) [pdf, other]

Title: Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents

Tim Lyon, Alwen Tiu, Rajeev Goré, Ranald Clouston

Comments: Appended version of the paper "Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents", accepted to the 28th International Conference on Computer Science Logic (CSL 2020)

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

[71] arXiv:1910.06202 (cross-list from cs.LO) [pdf, other]

Title: On Axiomatization of Lewis' Conditional Logics

Xuefeng Wen

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

[72] arXiv:1910.06576 (cross-list from cs.LO) [pdf, other]

Title: On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems

Tim Lyon

Comments: Appended version of the paper "On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems", accepted to the International Symposium on Logical Foundations of Computer Science (LFCS 2020)

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

[73] arXiv:1910.06624 (cross-list from cs.AI) [pdf, other]

Title: Probability Logic

Niki Pfeifer

Comments: 16 pages, handbook chapter contribution

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

[74] arXiv:1910.06657 (cross-list from cs.LO) [pdf, other]

Title: Syntactic Cut-Elimination for Intuitionistic Fuzzy Logic via Linear Nested Sequents

Tim Lyon

Comments: Appended version of the paper "Syntactic Cut-Elimination for Intuitionistic Fuzzy Logic via Linear Nested Sequents", accepted to the International Symposium on Logical Foundations of Computer Science (LFCS 2020)

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

[75] arXiv:1910.07230 (cross-list from math.OA) [pdf, other]

Title: Trivial Endomorphisms of the Calkin Algebra

Andrea Vaccaro

Comments: 23 pages. Final journal version, with minor changes with respect of the first version

Subjects: Operator Algebras (math.OA); Logic (math.LO)