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

Logic

Authors and titles for math.LO in Sep 2021

[ total of 78 entries: 1-25 | 26-50 | 51-75 | 76-78 ]
[ showing 25 entries per page: fewer | more | all ]
[1]  arXiv:2109.00569 [pdf, ps, other]
Title: Interpretable Fields in Various Valued Fields
Subjects: Logic (math.LO); Commutative Algebra (math.AC)
[2]  arXiv:2109.00736 [pdf, other]
Title: Tukey-order with models on Pawlikowski's theorems
Comments: 17 pages, 4 figures. RIMS Set Theory Workshop: Reals and Topology. November 16 - 20, 2020
Journal-ref: Kyoto Daigaku Suurikaiseki Kenkyuusho Koukyuuroku 2020
Subjects: Logic (math.LO)
[3]  arXiv:2109.00914 [pdf, other]
Title: Bi-topological spaces and the Continuity Problem
Authors: Dieter Spreen
Subjects: Logic (math.LO); General Topology (math.GN)
[4]  arXiv:2109.01065 [pdf, ps, other]
Title: Congruence Filter Pairs, Adjoints and Leibniz Hierarchy
Subjects: Logic (math.LO)
[5]  arXiv:2109.01131 [pdf, other]
Title: Some model theory of $\operatorname{Th}(\mathbb{N},\cdot)$
Subjects: Logic (math.LO)
[6]  arXiv:2109.01139 [pdf, ps, other]
Title: Interpreting connexive principles in coherence-based probability logic
Comments: The final authenticated publication will be available online at this https URL
Journal-ref: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 16th European Conference, ECSQARU 2021, Prague, Czech Republic, September 21-24, 2021, Proceedings, ISBN 9783030867713
Subjects: Logic (math.LO); Probability (math.PR)
[7]  arXiv:2109.01352 [pdf, ps, other]
Title: Betwixt Turing and Kleene
Comments: To appear in the LNCS proceedings of LFCS22 (Deerfield Beach, FLorida)
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[8]  arXiv:2109.01357 [pdf, ps, other]
Title: A corrected strategy for proving no finite variable axiomatisation exists for RRA
Comments: This note is extracted from an earlier version of arXiv:2008.01329. A later version of this latter paper will omit this material
Subjects: Logic (math.LO)
[9]  arXiv:2109.01516 [pdf, ps, other]
Title: On a conjecture of Debs and Saint Raymond
Authors: Adam Kwela
Subjects: Logic (math.LO)
[10]  arXiv:2109.01728 [pdf, ps, other]
Title: A topological duality for monotone expansions of semilattices
Subjects: Logic (math.LO)
[11]  arXiv:2109.02037 [pdf, other]
Title: Reverse mathematics of rings
Comments: Masters thesis submitted to Victoria University of Wellington, 2021. Supervised by Dan Turetsky. 5+96 pages, 5 figures
Subjects: Logic (math.LO); Rings and Algebras (math.RA)
[12]  arXiv:2109.02285 [pdf, ps, other]
Title: Absolute model companionship, forcibility, and the continuum problem
Authors: Matteo Viale
Comments: This paper systematizes and improves the results appearing in arxiv submissions arXiv:2101.07573, arXiv:2003.07114, arXiv:2003.07120
Subjects: Logic (math.LO)
[13]  arXiv:2109.02548 [pdf, ps, other]
Title: Finitely Axiomatized Theories Lack Self-Comprehension
Comments: 13 pages
Subjects: Logic (math.LO)
[14]  arXiv:2109.03911 [pdf, ps, other]
Title: Model Theory and Groups
Authors: Anand Pillay
Comments: This a mainly expository paper, the final version of which appeared as a contribution to the book "Groups and Model Theory, GAGTA Book 2", edited by Kharlampovich and Sklinos, published in 2021 by de Gruyter
Subjects: Logic (math.LO)
[15]  arXiv:2109.04055 [pdf, ps, other]
Title: Punctual equivalence relations and their (punctual) complexity
Comments: 37 pages
Subjects: Logic (math.LO)
[16]  arXiv:2109.04183 [pdf, ps, other]
Title: Families of Sets in Bishop Set Theory
Authors: Iosif Petrakis
Comments: 216 pages
Subjects: Logic (math.LO)
[17]  arXiv:2109.04438 [pdf, other]
Title: Keisler's Theorem and Cardinal Invariants
Authors: Tatsuya Goto
Subjects: Logic (math.LO)
[18]  arXiv:2109.04523 [pdf, ps, other]
Title: Models for short sequences of measures in the cofinality-$ω$ constructible model
Authors: Ur Ya'ar
Subjects: Logic (math.LO)
[19]  arXiv:2109.04682 [pdf, ps, other]
Title: Aristotelian poetry
Subjects: Logic (math.LO); Combinatorics (math.CO)
[20]  arXiv:2109.04805 [pdf, ps, other]
Title: Littlestone and VC-dimension of families of zero sets
Comments: 18 pages
Subjects: Logic (math.LO)
[21]  arXiv:2109.05383 [pdf, other]
Title: A natural deduction system for orthomodular logic
Authors: Andre Kornell
Comments: 36 pages; "fragment" corrected to "weakening" in the abstract
Subjects: Logic (math.LO); Mathematical Physics (math-ph); Operator Algebras (math.OA); Quantum Physics (quant-ph)
[22]  arXiv:2109.05476 [pdf, ps, other]
Title: Provability Logic: models within models in Peano Arithmetic
Subjects: Logic (math.LO)
[23]  arXiv:2109.05643 [pdf, ps, other]
Title: Restriction in Program Algebra
Comments: 27 pages
Subjects: Logic (math.LO)
[24]  arXiv:2109.05840 [pdf, ps, other]
Title: Iterating the cofinality-$ω$ constructible model
Authors: Ur Ya'ar
Subjects: Logic (math.LO)
[25]  arXiv:2109.05914 [pdf, ps, other]
Title: Partition models, Permutations of infinite sets without fixed points, Variants of CAC, and weak forms of AC
Authors: Amitayu Banerjee
Subjects: Logic (math.LO); Combinatorics (math.CO); General Topology (math.GN); Group Theory (math.GR)
[ total of 78 entries: 1-25 | 26-50 | 51-75 | 76-78 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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