Logic

Authors and titles for July 2020

[1] arXiv:2007.00070 [pdf, other]

Title: Automata and tame expansions of $(\mathbb{Z},+)$

Christopher D. C. Hawthorne

Comments: 21 pages. Main result improved; thanks to Gabriel Conant

Subjects: Logic (math.LO)

[2] arXiv:2007.00418 [pdf, other]

Title: Forcing as a computational process

Joel David Hamkins, Russell Miller, Kameryn J. Williams

Comments: 27 pages. Inquiries and commentary can be made at this http URL. Minor updates with version 2. Final minor updates with version 3

Subjects: Logic (math.LO)

[3] arXiv:2007.01690 [pdf, other]

Title: Choiceless large cardinals and set-theoretic potentialism

Raffaella Cutolo, Joel David Hamkins

Comments: 10 pages. Inquires and commentary can be made at this http URL . arXiv admin note: text overlap with arXiv:1708.01644

Subjects: Logic (math.LO)

[4] arXiv:2007.01854 [pdf, other]

Title: Bernoulli Randomness and Biased Normality

Andrew DeLapo

Comments: 17 pages, 3 figures

Subjects: Logic (math.LO)

[5] arXiv:2007.02922 [pdf, other]

Title: Ranks Based on Strong Amalgamation Fraisse Classes

Vince Guingona, Miriam Parnes

Comments: 44 pages

Subjects: Logic (math.LO)

[6] arXiv:2007.03332 [pdf, other]

Title: Differentiability Properties of Log-Analytic Functions

Tobias Kaiser, Andre Opris

Comments: Final version; to appear at Rocky Mountain Journal of Mathematics

Subjects: Logic (math.LO); Algebraic Geometry (math.AG); Classical Analysis and ODEs (math.CA)

[7] arXiv:2007.04088 [pdf, other]

Title: Metric groups, unitary representations and continuous logic

Aleksander Ivanov

Comments: 15 pages; to appear in Communications in Mathematics, special issue "Ostrava seminar on Mathematical Physics". arXiv admin note: substantial text overlap with arXiv:1706.04157

Journal-ref: Communications in Mathematics, 29 (2021), no.1, 35 - 48

Subjects: Logic (math.LO); Group Theory (math.GR)

[8] arXiv:2007.04405 [pdf, other]

Title: Polymorphism-homogeneity and universal algebraic geometry

Endre Tóth, Tamás Waldhauser

Comments: 18 pages, 1 figure

Journal-ref: Discrete Mathematics & Theoretical Computer Science, vol. 23 no. 2, special issue in honour of Maurice Pouzet, Special issues (March 21, 2022) dmtcs:6904

Subjects: Logic (math.LO); Rings and Algebras (math.RA)

[9] arXiv:2007.04722 [pdf, other]

Title: An overview of Generalised Veltman Semantics

Joost J. Joosten, Jan Mas Rovira, Luka Mikec, Mladen Vuković

Subjects: Logic (math.LO)

[10] arXiv:2007.04812 [pdf, other]

Title: Some combinatorial properties of Ultimate L and V

Gabriel Goldberg

Comments: 33 pages

Subjects: Logic (math.LO)

[11] arXiv:2007.05192 [pdf, other]

Title: Negation and Implication in Partition Logic

David Ellerman

Comments: 3 figures

Subjects: Logic (math.LO)

[12] arXiv:2007.05281 [pdf, other]

Title: Beth definability and the Stone-Weierstrass Theorem

Luca Reggio

Comments: 27 pages. v3: presentation improved throughout; added a new Section 5 establishing a strong completeness result

Subjects: Logic (math.LO); Functional Analysis (math.FA); General Topology (math.GN); Rings and Algebras (math.RA)

[13] arXiv:2007.05427 [pdf, other]

Title: The fixed point and the Craig interpolation properties for sublogics of $\mathbf{IL}$

Sohei Iwata, Taishi Kurahashi, Yuya Okawa

Comments: 37 pages

Subjects: Logic (math.LO)

[14] arXiv:2007.05450 [pdf, other]

Title: Logics of Intuitionistic Kripke-Platek Set Theory

Rosalie Iemhoff, Robert Passmann

Subjects: Logic (math.LO)

[15] arXiv:2007.05885 [pdf, other]

Title: On Non-standard Models of Arithmetic with Uncountable Standard Systems

Wei Wang

Comments: 6 pages

Subjects: Logic (math.LO)

[16] arXiv:2007.05935 [pdf, other]

Title: Stationary and Closed Rainbow subsets

Shimon Garti, Jing Zhang

Comments: 20 pages

Journal-ref: Annals of Pure and Applies Logic, vol. 172, no. 2, February 2021, paper 102887

Subjects: Logic (math.LO); Combinatorics (math.CO)

[17] arXiv:2007.07188 [pdf, other]

Title: Nonclassical truth with classical strength. A proof-theoretic analysis of compositional truth over HYPE

Martin Fischer, Carlo Nicolai, Pablo Dopico Fernandez

Comments: Fixed a gap in the proof of the lower bound for KFL^*

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)

[18] arXiv:2007.07237 [pdf, other]

Title: Separation of congruence intervals and implications

Andrei A. Bulatov

Comments: arXiv admin note: text overlap with arXiv:1703.03021

Subjects: Logic (math.LO)

[19] arXiv:2007.07401 [pdf, other]

Title: Foundations of Online Structure Theory II: The Operator Approach

Rod Downey, Alexander Melnikov, Keng Meng Ng

Journal-ref: Logical Methods in Computer Science, Volume 17, Issue 3 (July 21, 2021) lmcs:6641

Subjects: Logic (math.LO)

[20] arXiv:2007.07521 [pdf, other]

Title: Definable completeness of $P$-minimal fields and applications

Pablo Cubides Kovacsics, Françoise Delon

Comments: 14 pages

Subjects: Logic (math.LO)

[21] arXiv:2007.07560 [pdf, other]

Title: On the uncountability of $\mathbb{R}$

Dag Normann, Sam Sanders

Comments: 40 pages, 1 Figure, One Appendix, to appear in: Journal of Symbolic Logic

Subjects: Logic (math.LO)

[22] arXiv:2007.08094 [pdf, other]

Title: Game semantics of Martin-L\"of type theory, part III: its consistency with Church's thesis

Norihiro Yamada

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)

[23] arXiv:2007.08741 [pdf, other]

Title: Real Functions and its Differentiation in Alternative Set Theory

Kiri Sakahara, Takashi Sato

Comments: 11 pages

Subjects: Logic (math.LO)

[24] arXiv:2007.09086 [pdf, other]

Title: Giant and illusionary giant Goodstein principles

Andreas Weiermann

Subjects: Logic (math.LO)

[25] arXiv:2007.09237 [pdf, other]

Title: Model Theory of Adeles and Number Theory

Jamshid Derakhshan

Subjects: Logic (math.LO)

[26] arXiv:2007.09244 [pdf, other]

Title: Axioms for Commutative Unital Rings elementarily Equivalent to Restricted Products of Connected Rings

Jamshid Derakhshan, Angus Macintyre

Subjects: Logic (math.LO)

[27] arXiv:2007.09739 [pdf, other]

Title: Milliken's tree theorem and its applications: a computability-theoretic perspective

Paul-Elliot Anglès d'Auriac, Peter A. Cholak, Damir D. Dzhafarov, Benoît Monin, Ludovic Patey

Comments: 136 pages

Subjects: Logic (math.LO)

[28] arXiv:2007.10167 [pdf, other]

Title: On consistency and existence in mathematics

Walter Dean

Comments: This is an extended version of a paper delivered to the Aristotelian Society on 15 June 2020 and which has been published in their Proceedings

Journal-ref: Proceedings of the Aristotelian Society, CXX(3), 349-393 (2021)

Subjects: Logic (math.LO); History and Overview (math.HO)

[29] arXiv:2007.10764 [pdf, other]

Title: Inner Models from Extended Logics: Part 1

Juliette Kennedy, Menachem Magidor, Jouko Väänänen

Subjects: Logic (math.LO)

[30] arXiv:2007.10766 [pdf, other]

Title: Inner Models from Extended Logics: Part 2

Juliette Kennedy, Menachem Magidor, Jouko Väänänen

Subjects: Logic (math.LO)

[31] arXiv:2007.11958 [pdf, other]

Title: Leibniz's law and its paraconsistent models

Aldo Figallo-Orellano

Comments: No comments

Subjects: Logic (math.LO)

[32] arXiv:2007.11971 [pdf, other]

Title: Definable groups in topological fields with a generic derivation

Francoise Point

Subjects: Logic (math.LO)

[33] arXiv:2007.12006 [pdf, other]

Title: A sound interpretation of Le\'sniewski's epsilon in modal logic KTB

Takao Inoué

Comments: 8 pages. arXiv admin note: text overlap with arXiv:2006.15421

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)

[34] arXiv:2007.12139 [pdf, other]

Title: Infinite Stable Graphs With Large Chromatic Number

Yatir Halevi, Itay Kaplan, Saharon Shelah

Subjects: Logic (math.LO); Combinatorics (math.CO)

[35] arXiv:2007.12440 [pdf, other]

Title: Probability over Plonka sums of Boolean algebras: states, metrics and topology

S. Bonzio, A. Loi

Comments: Paper to appear on the International Journal of Approximate Reasoning

Subjects: Logic (math.LO); Probability (math.PR)

[36] arXiv:2007.13079 [pdf, other]

Title: The finite representation property for some reducts of relation algebras

Daniel Rogozin

Subjects: Logic (math.LO)

[37] arXiv:2007.13198 [pdf, other]

Title: Filters and congruences in sectionally pseudocomplemented lattices and posets

Ivan Chajda, Helmut Länger

Subjects: Logic (math.LO)

[38] arXiv:2007.13500 [pdf, html, other]

Title: Preservation of splitting families and cardinal characteristics of the continuum

Martin Goldstern, Jakob Kellner, Diego A. Mejía, Saharon Shelah

Comments: Section 2 was modified to correct a mistake in the proof of the existence of a suitable bi-graph

Journal-ref: Israel Journal of Mathematics, volume 246, pages 73-129, 2021

Subjects: Logic (math.LO)

[39] arXiv:2007.14111 [pdf, other]

Title: Monadic second order limit laws for natural well orderings

Andreas Weiermann

Comments: 15 pages (submitted)

Subjects: Logic (math.LO)

[40] arXiv:2007.14344 [pdf, other]

Title: Differential exponential topological fields

Francoise Point, Nathalie Regnault

Subjects: Logic (math.LO)

[41] arXiv:2007.14459 [pdf, other]

Title: A Categorial Equivalence for semi-Nelson algebras

Juan Manuel Cornejo, Andrés Gallardo, Ignacio Viglizzo

Subjects: Logic (math.LO)

[42] arXiv:2007.14483 [pdf, other]

Title: The structure of finite commutative idempotent involutive residuated lattices

Peter Jipsen, Olim Tuyt, Diego Valota

Subjects: Logic (math.LO)

[43] arXiv:2007.14500 [pdf, other]

Title: Modules with fusion and implication based over distributive lattices: Representation and Duality

Ismael Calomino, William J. Zuluaga Botero

Comments: 17 pages

Subjects: Logic (math.LO)

[44] arXiv:2007.14594 [pdf, other]

Title: Whitehead group of the ring of smooth functions definable in an o-minimal structure

Masato Fujita

Subjects: Logic (math.LO); Rings and Algebras (math.RA)

[45] arXiv:2007.14718 [pdf, other]

Title: Bounded Symbiosis and Upwards Reflection

Lorenzo Galeotti, Yurii Khomskii, Jouko Väänänen

Subjects: Logic (math.LO)

[46] arXiv:2007.14801 [pdf, other]

Title: On the computability of ordered fields

M.V. Korovina, O.V. Kudinov

Comments: 18 pages, proofs corrected

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)

[47] arXiv:2007.14835 [pdf, other]

Title: Reflection principles, propositional proof systems, and theories

Pavel Pudlák

Subjects: Logic (math.LO)

[48] arXiv:2007.16042 [pdf, other]

Title: Vapnik-Chervonenkis Dimension and Density on Johnson and Hamming Graphs

Bjarki Geir Benediktsson, Dugald Macpherson, Isolde Adler

Subjects: Logic (math.LO); Combinatorics (math.CO)

[49] arXiv:2007.00167 (cross-list from cs.LO) [pdf, other]

Title: The Integers as a Higher Inductive Type

Thorsten Altenkirch, Luis Scoccola

Comments: 11 pages

Journal-ref: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (pp. 67-73), 2020

Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)

[50] arXiv:2007.00281 (cross-list from math.DS) [pdf, other]

Title: Invariant measures on products and on the space of linear orders

Colin Jahel, Todor Tsankov

Subjects: Dynamical Systems (math.DS); Logic (math.LO); Probability (math.PR)