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-50 | 51-78 ]
[ showing 50 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)
[26]  arXiv:2109.06040 [pdf, ps, other]
Title: Taming the `elsewhere': On expressivity of topological languages
Subjects: Logic (math.LO)
[27]  arXiv:2109.06079 [pdf, other]
Title: The Virtual Large Cardinal Hierarchy
Comments: 26 pages, 2 figures
Subjects: Logic (math.LO)
[28]  arXiv:2109.06140 [pdf, ps, other]
Title: Characterizing the existence of a Borel complete expansion
Subjects: Logic (math.LO)
[29]  arXiv:2109.06258 [pdf, ps, other]
Title: Unprovability in Mathematics: A First Course on Ordinal Analysis
Authors: Anton Freund
Subjects: Logic (math.LO)
[30]  arXiv:2109.06259 [pdf, ps, other]
Title: A new look at Ternary Boolean Algebras
Comments: 8 pages
Subjects: Logic (math.LO)
[31]  arXiv:2109.06739 [pdf, ps, other]
Title: Set theory and a model of the mind in psychology
Comments: 28 pages
Subjects: Logic (math.LO); General Topology (math.GN)
[32]  arXiv:2109.07310 [pdf, ps, other]
Title: Non-absoluteness of Hjorth's Cardinal Characterization
Comments: 20 pages
Subjects: Logic (math.LO)
[33]  arXiv:2109.07619 [pdf, ps, other]
Title: Structural Highness Notions
Subjects: Logic (math.LO)
[34]  arXiv:2109.08130 [pdf, ps, other]
Title: The Diversity of Minimal Cofinal Extensions
Authors: James H. Schmerl
Subjects: Logic (math.LO)
[35]  arXiv:2109.08140 [pdf, ps, other]
Title: Elimination of imaginaries in multivalued fields
Authors: Mariana Vicaria
Comments: 36 pages
Subjects: Logic (math.LO)
[36]  arXiv:2109.08243 [pdf, ps, other]
Title: Residue field domination in henselian valued fields of equicharacteristic zero
Authors: Mariana Vicaria
Subjects: Logic (math.LO)
[37]  arXiv:2109.08559 [pdf, ps, other]
Title: Continuous logic and Borel equivalence relations
Comments: 24 pages
Subjects: Logic (math.LO)
[38]  arXiv:2109.08619 [pdf, ps, other]
Title: Spherically complete models of Hensel minimal valued fields
Comments: 9 pages
Subjects: Logic (math.LO)
[39]  arXiv:2109.08943 [pdf, ps, other]
Title: Theories with few non-algebraic types over models, and their decompositions
Comments: 6 pages; to appear in Proceedings of the AMS
Subjects: Logic (math.LO)
[40]  arXiv:2109.09069 [pdf, ps, other]
Title: The Variety of Projection of a Tree-Prikry Forcing
Subjects: Logic (math.LO)
[41]  arXiv:2109.09215 [pdf, other]
Title: Towards characterizing the $>ω^2$-fickle recursively enumerable Turing degrees
Authors: Liling Ko
Comments: Submitted to APAL on September 2021. 33 pages, 13 figures
Subjects: Logic (math.LO)
[42]  arXiv:2109.09591 [pdf, ps, other]
Title: Hypersequent Calculi for Intermediate Predicate Logics
Journal-ref: RIMS Kokyuroku 2193 (2021) 81-89
Subjects: Logic (math.LO)
[43]  arXiv:2109.09678 [pdf, ps, other]
Title: An incompleteness theorem via ordinal analysis
Authors: James Walsh
Subjects: Logic (math.LO)
[44]  arXiv:2109.10130 [pdf, ps, other]
Title: On binomials and algebraic closure of some pseudofinite fields
Subjects: Logic (math.LO)
[45]  arXiv:2109.10618 [pdf, ps, other]
Title: Non-stationary support iterations of Prikry Forcings and Restrictions of Ultrapower Embeddings to the Ground Model
Subjects: Logic (math.LO)
[46]  arXiv:2109.11315 [pdf, ps, other]
Title: Vive la Différence!
Comments: 17 pages, 1 figure
Subjects: Logic (math.LO)
[47]  arXiv:2109.11597 [pdf, ps, other]
Title: Reconciliation of Approaches to the Semantics of Logics without Distribution
Authors: Chrysafis (Takis) Hartonas
Journal-ref: College Publications, Tributes series, Katalin Bimbo (ed), Essays in hounor of J. Michael Dunn, 2022
Subjects: Logic (math.LO)
[48]  arXiv:2109.11652 [pdf, ps, other]
Title: The $Π^1_2$ Consequences of a Theory
Comments: 26 pages, 2 figures
Subjects: Logic (math.LO)
[49]  arXiv:2109.11760 [pdf, ps, other]
Title: MS-measurability via Coordinatization
Authors: Mostafa Mirabi
Comments: 30 pages
Subjects: Logic (math.LO)
[50]  arXiv:2109.11973 [pdf, ps, other]
Title: Dependent measures in independent theories
Authors: Karim Khanaki
Comments: In this new version, Fact 2.5, Lemma 4.7 are new. Theorem 4.8 is a refinement of the previous result. 19 pages
Subjects: Logic (math.LO)
[ total of 78 entries: 1-50 | 51-78 ]
[ showing 50 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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