Logic

Authors and titles for math.LO in Oct 2022

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

Title: Paraconsistent and Paracomplete Zermelo-Fraenkel Set Theory

Authors: Yurii Khomskii, Hrafn Valtýr Oddsson

Subjects: Logic (math.LO)

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

Title: Galois actions of finitely generated groups rarely have model companions

Authors: Özlem Beyarslan, Piotr Kowalski

Comments: Few typos corrected, added the part about free products

Subjects: Logic (math.LO)

[3]  arXiv:2210.01018 [pdf, ps, other]

Title: On duality and model theory for polyadic spaces

Authors: Sam van Gool, Jérémie Marquès

Comments: 43 pages

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

[4]  arXiv:2210.01223 [pdf, ps, other]

Title: Model theory and Ultrapower Embedding Problems in Operator Algebras

Authors: Isaac Goldbring

Comments: 30 pages; first draft; comments welcome! To appear in the upcoming volume "Model theory of operator algebras" and the article contains references to other articles in the volume

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

[5]  arXiv:2210.01505 [pdf, ps, other]

Title: On strong chains of sets and functions

Authors: Tanmay Inamdar

Subjects: Logic (math.LO)

[6]  arXiv:2210.01567 [pdf, ps, other]

Title: Extension bases in Henselian valued fields

Authors: Akash Hossain

Comments: 37 pages, no figure, comments welcome

Subjects: Logic (math.LO)

[7]  arXiv:2210.01709 [pdf, ps, other]

Title: Algebraic logic for the negation fragment of classical logic

Authors: Luciano J. González

Comments: 18 pages

Subjects: Logic (math.LO)

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

Title: Correspondence Theory for Modal Fairtlough-Mendler Semantics of Intuitionistic Modal Logic

Authors: Zhiguang Zhao

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

[9]  arXiv:2210.02514 [pdf, ps, other]

Title: A Road To Compactness Through Guessing Models

Authors: Rahman Mohammadpour

Subjects: Logic (math.LO)

[10]  arXiv:2210.02699 [pdf, ps, other]

Title: Higher internal covers

Authors: Moshe Kamensky

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

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

Title: Generic properties of topological groups

Authors: Márton Elekes, Boglárka Gehér, Tamás Kátay, Tamás Keleti, Anett Kocsis, Máté Pálfy

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

Subjects: Logic (math.LO); General Topology (math.GN); Group Theory (math.GR)

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

Title: Taming "McKinsey-like" formula: An Extended Correspondence and Completeness Theory for Hybrid Logic H(@)

Authors: Zhiguang Zhao

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

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

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

Title: A Reunion of Godel, Tarski, Carnap, and Rosser

Authors: Saeed Salehi

Comments: 7 pages

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

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

Title: A definable $(p,q)$-theorem for NIP theories

Authors: Itay Kaplan

Comments: Added section 4.1 about VC-density

Subjects: Logic (math.LO)

[15]  arXiv:2210.04838 [pdf, ps, other]

Title: Pseudo-countable models

Authors: Joel David Hamkins

Comments: 11 pages. Commentary can be made at this http URL

Subjects: Logic (math.LO)

[16]  arXiv:2210.05251 [pdf, ps, other]

Title: On the computational properties of the Baire Category Theorem

Authors: Sam Sanders

Comments: 16 pages. arXiv admin note: text overlap with arXiv:2206.12721

Subjects: Logic (math.LO)

[17]  arXiv:2210.05491 [pdf, ps, other]

Title: Strong negation in the theory of computable functionals TCF

Authors: Nils Köpp, Iosif Petrakis

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

[18]  arXiv:2210.05849 [pdf, ps, other]

Title: A new topological generalization of descriptive set theory

Authors: Iván Ongay-Valverde, Franklin D. Tall

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

[19]  arXiv:2210.06047 [pdf, ps, other]

Title: Algebraizable Weak Logics

Authors: Georgi Nakov, Davide Emilio Quadrellaro

Subjects: Logic (math.LO)

[20]  arXiv:2210.06626 [pdf, ps, other]

Title: Leibniz's law and paraconsistent models of ZFC

Authors: Aldo Figallo-Orellano

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

Subjects: Logic (math.LO)

[21]  arXiv:2210.06899 [pdf, ps, other]

Title: Projective Fraïssé limits and generalized Ważewski dendrites

Authors: Alessandro Codenotti, Aleksandra Kwiatkowska

Comments: submitted version

Subjects: Logic (math.LO)

[22]  arXiv:2210.07120 [pdf, ps, other]

Title: Patterns of Structural Reflection in the large-cardinal hierarchy

Authors: Joan Bagaria, Philipp Lücke

Comments: 47 pages

Subjects: Logic (math.LO)

[23]  arXiv:2210.07280 [pdf, other]

Title: Object descriptors: usage and foundation

Authors: Frank Quinn

Comments: 17 pages. Companion to `Object descriptors and set theory'

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

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

Title: Generic expansions and the group configuration theorem

Authors: Scott Mutchnik

Comments: 18 pages; 1 figure

Subjects: Logic (math.LO)

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

Title: Conant-independence and generalized free amalgamation

Authors: Scott Mutchnik

Comments: 23 pages

Subjects: Logic (math.LO)