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


Authors and titles for math.LO in Jul 2021

[ total of 78 entries: 1-78 ]
[ showing up to 100 entries per page: fewer | more ]
[1]  arXiv:2107.00513 [pdf, ps, other]
Title: Strongly compact cardinals and ordinal definability
Authors: Gabriel Goldberg
Comments: 16 pages
Subjects: Logic (math.LO)
[2]  arXiv:2107.01299 [pdf, ps, other]
Title: Extending Properly n-REA Sets
Subjects: Logic (math.LO)
[3]  arXiv:2107.01447 [pdf, ps, other]
Title: Orderings of ultrafilters on Boolean algebras
Subjects: Logic (math.LO)
[4]  arXiv:2107.01536 [pdf, ps, other]
Title: Computable Stone spaces
Comments: 16 pages
Subjects: Logic (math.LO)
[5]  arXiv:2107.01580 [pdf, ps, other]
Title: Large cardinals as principles of Structural Reflection
Authors: Joan Bagaria
Subjects: Logic (math.LO)
[6]  arXiv:2107.02531 [pdf, ps, other]
Title: (Extra)ordinary equivalences with the ascending/descending sequence principle
Subjects: Logic (math.LO)
[7]  arXiv:2107.02577 [pdf, ps, other]
Title: Strong downward Löwenheim-Skolem theorems for stationary logics, III -- mixed support iteration
Subjects: Logic (math.LO)
[8]  arXiv:2107.02587 [pdf, ps, other]
Title: Generalized Polish spaces at regular uncountable cardinals
Comments: 42 pages, second draft (hopefully with less typos), submitted
Subjects: Logic (math.LO)
[9]  arXiv:2107.02727 [pdf, ps, other]
Title: Dependent finitely homogneneous rosy structures
Subjects: Logic (math.LO)
[10]  arXiv:2107.03521 [pdf, ps, other]
Title: Reflection ranks via infinitary derivations
Comments: 11 pages
Subjects: Logic (math.LO)
[11]  arXiv:2107.03787 [pdf, ps, other]
Title: Non-vanishing higher derived limits
Subjects: Logic (math.LO); Category Theory (math.CT)
[12]  arXiv:2107.03972 [pdf, ps, other]
Title: Effect of the Choice of Connectives on the Relation between the Logic of Constant Domains and Classical Predicate Logic
Subjects: Logic (math.LO)
[13]  arXiv:2107.04293 [pdf, ps, other]
Title: D-minimal structures
Comments: 54 pages. arXiv admin note: substantial text overlap with arXiv:1003.3557
Subjects: Logic (math.LO)
[14]  arXiv:2107.04963 [pdf, ps, other]
Title: Definably Topological Dynamics of $p$-Adic Algebraic Groups
Comments: 23 pages
Subjects: Logic (math.LO)
[15]  arXiv:2107.05069 [pdf, other]
Title: On equational completeness theorems
Authors: T. Moraschini
Subjects: Logic (math.LO)
[16]  arXiv:2107.05136 [pdf, ps, other]
Title: Was Ulam right? I: Basic theory and subnormal ideals
Comments: This is now Part I of a series. Part II is upcoming
Subjects: Logic (math.LO)
[17]  arXiv:2107.05152 [pdf, other]
Title: Decidability for the theory of modules over a Prüfer domain
Authors: Lorna Gregory
Subjects: Logic (math.LO); Commutative Algebra (math.AC)
[18]  arXiv:2107.05197 [pdf, ps, other]
Title: Density of compressible types and some consequences
Comments: v2: new corollary 6.34 on stable reducts. Minor fixes elsewhere; numbering unchanged except in section 6
Subjects: Logic (math.LO)
[19]  arXiv:2107.05755 [pdf, ps, other]
Title: Many forcing axioms for all regular uncountable cardinals
Subjects: Logic (math.LO)
[20]  arXiv:2107.05912 [pdf, ps, other]
Title: Epimorphisms in varieties of residuated structures
Subjects: Logic (math.LO)
[21]  arXiv:2107.05947 [pdf, ps, other]
Title: Higher Dimensional Cardinal Characteristics for Sets of Functions II
Comments: 2 figures, 23 pages, second draft incorporates changes suggested by an anonymous referee. Now accepted at the Journal of Symbolic Logic
Subjects: Logic (math.LO)
[22]  arXiv:2107.07433 [pdf, ps, other]
Title: A note on asymptotic density
Subjects: Logic (math.LO); General Topology (math.GN)
[23]  arXiv:2107.07636 [pdf, ps, other]
Title: An undecidable extension of Morley's theorem on the number of countable models
Comments: 31 pages
Subjects: Logic (math.LO)
[24]  arXiv:2107.07854 [pdf, ps, other]
Title: Kolmogorov-Veloso Problems and Dialectica Categories
Comments: There was a typo in the title, "Kolgomorov" instead of Kolmogorov
Subjects: Logic (math.LO)
[25]  arXiv:2107.08299 [pdf, ps, other]
Title: Remarks on the existence of measurable selectors
Authors: Joanna Jureczko
Subjects: Logic (math.LO); General Topology (math.GN)
[26]  arXiv:2107.09339 [pdf, ps, other]
Title: Usuba's principle $UB_λ$ can fail at singular cardinals
Comments: Paper number 1216 second author
Subjects: Logic (math.LO)
[27]  arXiv:2107.09866 [pdf, ps, other]
Title: A note on derivatives, expansions and $Π^1_1$-ranks
Comments: arXiv admin note: text overlap with arXiv:2107.09263
Subjects: Logic (math.LO); Dynamical Systems (math.DS)
[28]  arXiv:2107.10033 [pdf, ps, other]
Title: Approximating approximate reasoning: Fuzzy sets and the Ershov hierarchy
Comments: 11 pages
Journal-ref: Logic, Rationality, and Interaction. LORI 2021 (eds. S. Ghosh and T. Icard). Lecture Notes in Computer Science, vol. 13039, pp. 1-13
Subjects: Logic (math.LO)
[29]  arXiv:2107.10128 [pdf, ps, other]
Title: The fragment of elementary plane Euclidean geometry based on perpendicularity alone with complexity PSPACE-complete
Subjects: Logic (math.LO)
[30]  arXiv:2107.10349 [pdf, ps, other]
Title: Dynamic Cantor Derivative Logic
Comments: Appears in Computer Science Logic (CSL) 2022 Proceedings
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[31]  arXiv:2107.10470 [pdf, ps, other]
Title: Some consequences of $\mathrm{TD}$ and $\mathrm{sTD}$
Comments: Better version
Subjects: Logic (math.LO)
[32]  arXiv:2107.10540 [pdf, ps, other]
Title: Counting finite linearly ordered involutive bisemilattices
Journal-ref: Lecture Notes in Computer Science, vol 11194, 2018
Subjects: Logic (math.LO); Combinatorics (math.CO)
[33]  arXiv:2107.10543 [pdf, ps, other]
Title: A topos for continuous logic
Subjects: Logic (math.LO); Category Theory (math.CT)
[34]  arXiv:2107.10768 [pdf, ps, other]
Title: Lindenbaum-type Logical Structures
Comments: The final version of the article has been submitted to Logica Universalis. This version contains some major revisions and expansions
Subjects: Logic (math.LO)
[35]  arXiv:2107.10817 [pdf, ps, other]
Title: Team Semantics and Independence Notions in Quantum Physics
Subjects: Logic (math.LO)
[36]  arXiv:2107.10920 [pdf, ps, other]
Title: Worst case expansions of complete theories
Comments: 15 pages; to appear in Model Theory
Journal-ref: Model Th. 1 (2022) 15-30
Subjects: Logic (math.LO)
[37]  arXiv:2107.11110 [pdf, ps, other]
Title: Modular curves and their pseudo-analytic cover
Subjects: Logic (math.LO)
[38]  arXiv:2107.11266 [pdf, ps, other]
Title: Decidability of the theory of addition and the Frobenius map in rings of rational functions
Comments: 24 pages
Subjects: Logic (math.LO); Commutative Algebra (math.AC); Number Theory (math.NT)
[39]  arXiv:2107.11356 [pdf, other]
Title: Conservation theorems on semi-classical arithmetic
Comments: 32 pages
Subjects: Logic (math.LO)
[40]  arXiv:2107.11867 [pdf, ps, other]
Title: CP-generic expansions of models of Peano Arithmetic
Comments: 12 pages. Strengthened Proposition 19
Subjects: Logic (math.LO)
[41]  arXiv:2107.11888 [pdf, ps, other]
Title: Towards an untyped proof of Con(NF)
Authors: Zuhair Al-Johar
Comments: 6 pages
Subjects: Logic (math.LO)
[42]  arXiv:2107.12150 [pdf, other]
Title: Cosine and Computation
Comments: Submitted to FSTTCS 2021
Subjects: Logic (math.LO); Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO); Number Theory (math.NT)
[43]  arXiv:2107.12624 [pdf, ps, other]
Title: Three characterizations of strict coherence on infinite-valued events
Authors: Tommaso Flaminio
Journal-ref: The Review of Symbolic Logic, 13(3), 593-610, 2020
Subjects: Logic (math.LO); Probability (math.PR)
[44]  arXiv:2107.12722 [pdf, ps, other]
Title: Strong unfoldability, shrewdness and combinatorial consequences
Authors: Philipp Lücke
Comments: Accepted for publication in the "Proceedings of the American Mathematical Society". 15 pages
Subjects: Logic (math.LO)
[45]  arXiv:2107.13119 [pdf, ps, other]
Title: Reinhardt cardinals in inner models
Authors: Gabriel Goldberg
Comments: 4 pages
Subjects: Logic (math.LO)
[46]  arXiv:2107.14329 [pdf, ps, other]
Title: On pp elimination and stability in a continuous setting
Comments: 18 pages A few corrections are made and examples added. And a translation with the usual version of continuous logic is given
Subjects: Logic (math.LO)
[47]  arXiv:2107.14439 [pdf, ps, other]
Title: Borel equivalence relations induced by actions of tsi Polish groups
Authors: Jan Grebík
Subjects: Logic (math.LO)
[48]  arXiv:2107.14718 [pdf, ps, other]
Title: On the continuous gradability of the cut-point orders of $\mathbb R$-trees
Authors: Sam Adam-Day
Comments: 22 pages, 4 figures
Journal-ref: In: Topology and its Applications 306 (2022)
Subjects: Logic (math.LO); General Topology (math.GN)
[49]  arXiv:2107.00207 (cross-list from math.HO) [pdf, ps, other]
Title: A two-track tour of Cauchy's Cours
Authors: Mikhail G. Katz
Comments: 12 pages, to appear in Mathematics Today of the Institute of Mathematics and its Applications
Journal-ref: Mathematics Today 57 (2021), no. 4, 154-158
Subjects: History and Overview (math.HO); Logic (math.LO)
[50]  arXiv:2107.00250 (cross-list from math.PR) [pdf, ps, other]
Title: De Finetti for mathematics undergraduates
Authors: Daniele Mundici
Subjects: Probability (math.PR); Combinatorics (math.CO); Logic (math.LO)
[51]  arXiv:2107.02923 (cross-list from math.GR) [pdf, other]
Title: Complexity and randomness in the Heisenberg groups (and beyond)
Subjects: Group Theory (math.GR); Logic (math.LO); Probability (math.PR)
[52]  arXiv:2107.03362 (cross-list from math.AC) [pdf, other]
Title: The automorphism group of a valued field of generalised formal power series
Comments: To appear in: J. Algebra
Subjects: Commutative Algebra (math.AC); Logic (math.LO)
[53]  arXiv:2107.03643 (cross-list from math.NT) [pdf, ps, other]
Title: A Pila--Wilkie theorem for Hensel minimal curves
Comments: 17 pages
Subjects: Number Theory (math.NT); Algebraic Geometry (math.AG); Logic (math.LO)
[54]  arXiv:2107.04250 (cross-list from math.CO) [pdf, ps, other]
Title: Borel chain conditions of Borel posets
Authors: Ming Xiao
Subjects: Combinatorics (math.CO); Logic (math.LO)
[55]  arXiv:2107.05547 (cross-list from math.CO) [pdf, ps, other]
Title: Elekes-Szabó for groups, and approximate subgroups in weak general position
Subjects: Combinatorics (math.CO); Logic (math.LO)
[56]  arXiv:2107.05806 (cross-list from math.OA) [pdf, ps, other]
Title: On regular $^*$-algebras of bounded linear operators: A new approach towards a theory of noncommutative Boolean algebras
Authors: Michiya Mori
Comments: 39 pages
Subjects: Operator Algebras (math.OA); Functional Analysis (math.FA); Logic (math.LO); Rings and Algebras (math.RA)
[57]  arXiv:2107.07747 (cross-list from math.GN) [pdf, ps, other]
Title: Zero-dimensional $σ$-homogeneous spaces
Comments: 22 pages
Subjects: General Topology (math.GN); Logic (math.LO)
[58]  arXiv:2107.09263 (cross-list from math.DS) [pdf, ps, other]
Title: Local entropy theory and descriptive complexity
Subjects: Dynamical Systems (math.DS); Logic (math.LO)
[59]  arXiv:2107.09997 (cross-list from math.GR) [pdf, ps, other]
Title: Groups of finite Morley rank with a generically multiply transitive action on an abelian group
Comments: To appear in \textit{Model Theory}. The manuscript will undergo copy editing, typesetting, and review of the resulting proof before it is published
Journal-ref: Model Th. 1 (2022) 1-14
Subjects: Group Theory (math.GR); Logic (math.LO)
[60]  arXiv:2107.11586 (cross-list from math.GN) [pdf, ps, other]
Title: On the scope of the Effros theorem
Authors: Andrea Medini
Comments: 10 pages
Subjects: General Topology (math.GN); Logic (math.LO)
[61]  arXiv:2107.11834 (cross-list from math.FA) [pdf, ps, other]
Title: Independence, infinite dimension, and operators
Comments: 11 pages
Subjects: Functional Analysis (math.FA); Logic (math.LO)
[62]  arXiv:2107.12925 (cross-list from math.HO) [pdf, ps, other]
Title: The Price of Mathematical Scepticism
Authors: Paul Blain Levy
Comments: Accepted for publication in Phiilosophia Mathematica. 17 pages plus bibliography
Subjects: History and Overview (math.HO); Logic (math.LO)
[63]  arXiv:2107.13989 (cross-list from math.CT) [pdf, ps, other]
Title: Inner automorphisms of presheaves of groups
Authors: Jason Parker
Comments: 35 pages
Subjects: Category Theory (math.CT); Group Theory (math.GR); Logic (math.LO)
[64]  arXiv:2107.14010 (cross-list from math.OA) [pdf, ps, other]
Title: A quantum complexity approach to the Kirchberg Embedding Problem
Subjects: Operator Algebras (math.OA); Computational Complexity (cs.CC); Logic (math.LO)
[65]  arXiv:2107.14031 (cross-list from math.CT) [pdf, ps, other]
Title: Doctrines, modalities and comonads
Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO); Logic (math.LO)
[66]  arXiv:2107.14198 (cross-list from math.RA) [pdf, ps, other]
Title: Twist structures and Nelson conuclei
Subjects: Rings and Algebras (math.RA); Logic (math.LO)
[67]  arXiv:2107.14760 (cross-list from math.DS) [pdf, ps, other]
Title: The spectral form of Koopman representations of the group of measurable functions with values in the circle
Subjects: Dynamical Systems (math.DS); Logic (math.LO); Representation Theory (math.RT); Spectral Theory (math.SP)
[68]  arXiv:2107.00086 (cross-list from cs.LO) [pdf, ps, other]
Title: An extended and more practical mwp flow analysis
Authors: Clément Aubert, Thomas Rubiano (LIPN), Neea Rusch, Thomas Seiller (LIPN, CNRS)
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Programming Languages (cs.PL); Logic (math.LO)
[69]  arXiv:2107.00097 (cross-list from cs.PL) [pdf, ps, other]
Title: An implementation of flow calculus for complexity analysis (tool paper)
Authors: Clément Aubert, Thomas Rubiano (LIPN), Neea Rusch, Thomas Seiller (LIPN, CNRS)
Subjects: Programming Languages (cs.PL); Computational Complexity (cs.CC); Logic in Computer Science (cs.LO); Logic (math.LO)
[70]  arXiv:2107.01594 (cross-list from cs.LO) [pdf, other]
Title: A Rewriting Coherence Theorem with Applications in Homotopy Type Theory
Comments: 30 pages. arXiv admin note: text overlap with arXiv:2001.07655
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[71]  arXiv:2107.01998 (cross-list from cs.LO) [pdf, ps, other]
Title: Nested Sequents for Intuitionistic Modal Logics via Structural Refinement
Authors: Tim S. Lyon
Subjects: Logic in Computer Science (cs.LO); Discrete Mathematics (cs.DM); Formal Languages and Automata Theory (cs.FL); Logic (math.LO)
[72]  arXiv:2107.06042 (cross-list from cs.LO) [pdf, other]
Title: Finite Model Property and Bisimulation for LFD
Authors: Raoul Koudijs
Comments: 15 pages, submitted for GandALF 2021 conference
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[73]  arXiv:2107.06150 (cross-list from cs.LO) [pdf, ps, other]
Title: From Identity to Difference: A Quantitative Interpretation of the Identity Type
Authors: Paolo Pistone
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[74]  arXiv:2107.08349 (cross-list from cs.LO) [pdf, other]
Title: Proof Search on Bilateralist Judgments over Non-deterministic Semantics
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[75]  arXiv:2107.12475 (cross-list from cs.LO) [pdf, other]
Title: On the hardness of knowing busy beaver values BB(15) and BB(5,4)
Comments: 12 pages, 5 figures, code and machines available at this https URL
Subjects: Logic in Computer Science (cs.LO); Discrete Mathematics (cs.DM); Logic (math.LO)
[76]  arXiv:2107.14487 (cross-list from cs.LO) [pdf, other]
Title: Refining Labelled Systems for Modal and Constructive Logics with Applications
Authors: Tim Lyon
Comments: PhD Thesis
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Discrete Mathematics (cs.DM); Formal Languages and Automata Theory (cs.FL); Logic (math.LO)
[77]  arXiv:2107.13975 (cross-list from cs.LO) [pdf, ps, other]
Title: A Sketch of a Proof-Theoretic Semantics for Necessity
Authors: Nils Kürbis
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[78]  arXiv:2107.13988 (cross-list from cs.LO) [pdf, ps, other]
Title: Proof-Theoretic Semantics, a Problem with Negation and Prospects for Modality
Authors: Nils Kürbis
Journal-ref: Journal of Philosophical Logic 44/6 (2015): 713-727
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[ total of 78 entries: 1-78 ]
[ showing up to 100 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

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