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-78 ]
[ showing 78 entries per page: fewer | more ]
[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)
[51]  arXiv:2109.12189 [pdf, ps, other]
Title: Un principe d'Ax-Kochen-Ershov imaginaire
Comments: 61 pages
Subjects: Logic (math.LO)
[52]  arXiv:2109.12486 [pdf, ps, other]
Title: Realizations of countable Borel equivalence relations
Comments: 92 pages; fixed typos and references to CBER book
Subjects: Logic (math.LO); Dynamical Systems (math.DS)
[53]  arXiv:2109.12600 [pdf, ps, other]
Title: Abstract evolution systems
Comments: 21 pages
Subjects: Logic (math.LO); Category Theory (math.CT)
[54]  arXiv:2109.12615 [pdf, ps, other]
Title: New Results on Congruence Boolean Lifting Property
Authors: George Georgescu
Subjects: Logic (math.LO); Rings and Algebras (math.RA)
[55]  arXiv:2109.12642 [pdf, ps, other]
Title: Shearing in some simple rank one theories
Comments: [MiSh:1221] . This manuscript grew out of what was originally the last section of 1810.09604v2
Subjects: Logic (math.LO)
[56]  arXiv:2109.12721 [pdf, other]
Title: On the Pettis-Johnstone theorem for localic groups
Authors: Ruiyuan Chen
Comments: 12 pages
Subjects: Logic (math.LO)
[57]  arXiv:2109.13133 [pdf, ps, other]
Title: Rich groups, weak second order logic, and applications
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
Journal-ref: "Groups and Model Theory, GAGTA Book 2", edited by Kharlampovich and Sklinos, published in 2021 by de Gruyter
Subjects: Logic (math.LO); Group Theory (math.GR)
[58]  arXiv:2109.14513 [pdf, ps, other]
Title: $C_p$-Theory for Model Theorists
Subjects: Logic (math.LO)
[59]  arXiv:2109.14745 [pdf, ps, other]
Title: On the independence of Robinson's set of axioms for propositional calculus
Authors: Benoît Jubin
Comments: 3 pages; v3: addendum with one table
Subjects: Logic (math.LO)
[60]  arXiv:2109.14877 [pdf, ps, other]
Title: Constructing models of small ordered theories with maximal countable spectrum
Comments: 21 pages
Subjects: Logic (math.LO)
[61]  arXiv:2109.15073 [pdf, other]
Title: Analytic one-dimensional maps and two-dimensional ordinary differential equations can robustly simulate Turing machines
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[62]  arXiv:2109.15080 [pdf, ps, other]
Title: Robustness of non-computability
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[63]  arXiv:2109.15165 [pdf, ps, other]
Title: Euclidean numbers and numerosities
Subjects: Logic (math.LO)
[64]  arXiv:2109.04291 (cross-list from math.CT) [pdf, ps, other]
Title: Syntax and Consequence Relations -- A Categorical Perspective
Authors: Lingyuan Ye
Comments: 32 pages
Subjects: Category Theory (math.CT); Logic (math.LO)
[65]  arXiv:2109.04591 (cross-list from math.CO) [pdf, ps, other]
Title: Combinatorial properties of non-archimedean convex sets
Comments: 22 pages
Subjects: Combinatorics (math.CO); Commutative Algebra (math.AC); Logic (math.LO)
[66]  arXiv:2109.05458 (cross-list from math.GN) [pdf, ps, other]
Title: Games characterizing certain families of functions
Comments: 11 pages
Subjects: General Topology (math.GN); Logic (math.LO)
[67]  arXiv:2109.07286 (cross-list from math.GN) [pdf, ps, other]
Title: What makes a Stone topological algebra profinite
Comments: arXiv admin note: text overlap with arXiv:1910.03674
Subjects: General Topology (math.GN); Logic (math.LO)
[68]  arXiv:2109.08064 (cross-list from math.CT) [pdf, ps, other]
Title: Dialectica Logical Principles
Comments: 15 pages
Subjects: Category Theory (math.CT); Logic (math.LO)
[69]  arXiv:2109.09230 (cross-list from math.NT) [pdf, ps, other]
Title: Not Pfaffian
Authors: James Freitag
Subjects: Number Theory (math.NT); Logic (math.LO)
[70]  arXiv:2109.10823 (cross-list from math.GN) [pdf, ps, other]
Title: The double density spectrum of a topological space
Comments: 16 pages
Subjects: General Topology (math.GN); Logic (math.LO)
[71]  arXiv:2109.12682 (cross-list from math.OA) [pdf, ps, other]
Title: The Connes Embedding Problem: A guided tour
Authors: Isaac Goldbring
Comments: 74 pages. First draft. Comments very, very welcome (and very much appreciated)
Subjects: Operator Algebras (math.OA); Computational Complexity (cs.CC); Logic (math.LO); Quantum Physics (quant-ph)
[72]  arXiv:2109.13750 (cross-list from math.RT) [pdf, ps, other]
Title: Strictly atomic modules in definable categories
Authors: Mike Prest
Subjects: Representation Theory (math.RT); Logic (math.LO); Rings and Algebras (math.RA)
[73]  arXiv:2109.14123 (cross-list from math.CT) [pdf, ps, other]
Title: Regular Calculi I: Graphical Regular Logic
Subjects: Category Theory (math.CT); Logic (math.LO)
[74]  arXiv:2109.03721 (cross-list from cs.LO) [pdf, other]
Title: Conjectures, Tests and Proofs: An Overview of Theory Exploration
Authors: Moa Johansson (Chalmers University of Technology), Nicholas Smallbone (Chalmers University of Technology)
Comments: In Proceedings VPT 2021, arXiv:2109.02001
Journal-ref: EPTCS 341, 2021, pp. 1-16
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Programming Languages (cs.PL); Logic (math.LO)
[75]  arXiv:2109.07218 (cross-list from cs.LO) [pdf, other]
Title: Limitations of the Invertible-Map Equivalences
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[76]  arXiv:2109.07255 (cross-list from cs.LO) [pdf, ps, other]
Title: Learning What Others Know
Comments: 33 pages
Journal-ref: in L. Kovacs and E. Albert (eds.), LPAR23 proceedings of the International Conference on Logic for Programming AI and Reasoning, EPiC Series in Computing, Volume 73, pp 90-110, 2020
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[77]  arXiv:2109.10670 (cross-list from cs.CC) [pdf, other]
Title: Machines as Programs: P $\neq$ NP
Authors: Jonathan J. Mize
Comments: 23 pages, 2 figures
Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO); Logic (math.LO)
[78]  arXiv:2109.10981 (cross-list from cs.LO) [pdf, ps, other]
Title: The Point-to-Set Principle, the Continuum Hypothesis, and the Dimensions of Hamel Bases
Authors: Jack H. Lutz
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[ total of 78 entries: 1-78 ]
[ showing 78 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

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