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

Logic

Authors and titles for math.LO in Oct 2022

[ total of 82 entries: 1-25 | 26-50 | 51-75 | 76-82 ]
[ showing 25 entries per page: fewer | more | all ]
[1]  arXiv:2210.00057 [pdf, ps, other]
Title: Paraconsistent and Paracomplete Zermelo-Fraenkel Set Theory
Subjects: Logic (math.LO)
[2]  arXiv:2210.00800 [pdf, ps, other]
Title: Galois actions of finitely generated groups rarely have model companions
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
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
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
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
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
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
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
Subjects: Logic (math.LO); General Topology (math.GN)
[19]  arXiv:2210.06047 [pdf, ps, other]
Title: Algebraizable Weak Logics
Subjects: Logic (math.LO)
[20]  arXiv:2210.06626 [pdf, ps, other]
Title: Leibniz's law and paraconsistent models of ZFC
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
Comments: submitted version
Subjects: Logic (math.LO)
[22]  arXiv:2210.07120 [pdf, ps, other]
Title: Patterns of Structural Reflection in the large-cardinal hierarchy
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)
[ total of 82 entries: 1-25 | 26-50 | 51-75 | 76-82 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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