Logic

Authors and titles for October 2019

[1] arXiv:1910.00039 [pdf, other]

Title: Graded modal logic and counting bisimulation

Martin Otto

Comments: (minor revision 2023)

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

[2] arXiv:1910.00191 [pdf, other]

Title: Continuous integration logic

Seyed-Mohammad Bagheri, Massoud Pourmahdian

Subjects: Logic (math.LO)

[3] arXiv:1910.00689 [pdf, other]

Title: Algebras from Congruences

Peter Mayr, Agnes Szendrei

Comments: 39 pages

Subjects: Logic (math.LO); Category Theory (math.CT)

[4] arXiv:1910.00776 [pdf, other]

Title: The isomorphism theorem for linear fragments of continuous logic

Seyed-Mohammad Bagheri

Subjects: Logic (math.LO)

[5] arXiv:1910.00926 [pdf, other]

Title: Definable selector for $\bfΔ^0_2$ sets modulo countable

Vladimir Kanovei

Comments: 2 pages

Subjects: Logic (math.LO)

[6] arXiv:1910.01094 [pdf, other]

Title: More number theory in $βN$

Boris Šobot

Subjects: Logic (math.LO)

[7] arXiv:1910.01393 [pdf, other]

Title: Involutive uninorm logic with fixed point enjoys finite strong standard completeness

Sándor Jenei

Subjects: Logic (math.LO)

[8] arXiv:1910.01397 [pdf, other]

Title: Group-like Uninorms

Sándor Jenei

Subjects: Logic (math.LO)

[9] arXiv:1910.01496 [pdf, other]

Title: Peterzil-Steinhorn subgroups and $μ$-stabilizers in ACF

Moshe Kamensky, Sergei Starchenko, Jinhe Ye

Comments: Final update prior to publication

Subjects: Logic (math.LO)

[10] arXiv:1910.01856 [pdf, other]

Title: Construction of the Circle in UniMath

Marc Bezem, Ulrik Buchholtz, Daniel R. Grayson, Michael Shulman

Comments: 27 pages; many improvements thanks to referee comments; added Shulman as co-author, who helped write a new section on the interpretation in higher toposes

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

[11] arXiv:1910.01879 [pdf, other]

Title: To reorient is easier than to orient: an on-line algorithm for reorientation of graphs

Marta Fiori-Carones, Alberto Marcone

Comments: Only minor (non mathematical) changes introduced. To appear in Computability

Journal-ref: Computability, 10 (2021), 215-233

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

[12] arXiv:1910.02257 [pdf, other]

Title: Complexity of finite-variable fragments of propositional modal logics of symmetric frames

Mikhail Rybakov, Dmitry Shkatov

Journal-ref: Logic Journal of the IGPL, Volume 27, Issue 1, February 2019, Pages 60-68

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

[13] arXiv:1910.02265 [pdf, other]

Title: Structural Properties of the Stable Core

Sy-David Friedman, Victoria Gitman, Sandra Müller

Subjects: Logic (math.LO)

[14] arXiv:1910.02286 [pdf, other]

Title: On factoring of unlimited integers

Karel Hrbacek

Journal-ref: Journal of Logic and Analysis 12 5 (2020) 1-6

Subjects: Logic (math.LO); Number Theory (math.NT)

[15] arXiv:1910.02419 [pdf, other]

Title: Colouring of successor of regular again

Saharon Shelah

Subjects: Logic (math.LO)

[16] arXiv:1910.02489 [pdf, other]

Title: Open sets in computability theory and Reverse Mathematics

Dag Normann, Sam Sanders

Comments: 40 pages, to appear in Journal of Logic and Computation, Special Issue on Logical Foundations of Computer Science (LFCS2020)

Subjects: Logic (math.LO)

[17] arXiv:1910.02888 [pdf, other]

Title: A note on $μ$-stabilizers in ACVF

Jinhe Ye

Comments: 15 pages

Subjects: Logic (math.LO)

[18] arXiv:1910.03674 [pdf, other]

Title: Stone pseudovarieties

Jorge Almeida, Ondřej Klíma

Comments: Parts of the first version of this paper have been moved to other papers

Journal-ref: Results in Math. 79 (2024) article no. 252

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

[19] arXiv:1910.04015 [pdf, other]

Title: Algebraic results on universal quantifiers in monoidal t-norm based logic

Jun Tao Wang

Subjects: Logic (math.LO)

[20] arXiv:1910.04029 [pdf, other]

Title: Condensable models of set theory

Ali Enayat

Comments: 15 pages (this is revised version of a previously posted draft)

Subjects: Logic (math.LO)

[21] arXiv:1910.04380 [pdf, other]

Title: Monadic stability and growth rates of $ω$-categorical structures

Samuel Braunfeld

Comments: 13 pages; to appear in Proceedings of the London Mathematical Society

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

[22] arXiv:1910.04481 [pdf, other]

Title: Variations on $Δ^1_1$ Determinacy and $\aleph_{ω_1}$

Ramez L. Sami

Comments: 10 pages. Content identical to previous version: Corrected Mathjax Abstract which was a mess (author's mistake)

Subjects: Logic (math.LO)

[23] arXiv:1910.04904 [pdf, other]

Title: Semialgebraic methods and generalized sum-product phenomena

Yifan Jing, Souktik Roy, Chieu-Minh Tran

Comments: 23 pages

Journal-ref: Discrete Analysis 2022:18, 23 pp

Subjects: Logic (math.LO); Algebraic Geometry (math.AG); Combinatorics (math.CO)

[24] arXiv:1910.05120 [pdf, other]

Title: Deducibility of Identicals, Reflection Principle and Synthetic Connectives

Yuki Nishimuta

Subjects: Logic (math.LO)

[25] arXiv:1910.05159 [pdf, other]

Title: Perfect Subtree Property for Weakly Compact Cardinals

Yair Hayut, Sandra Müller

Subjects: Logic (math.LO)

[26] arXiv:1910.05284 [pdf, other]

Title: The Pentagon as a Substructure Lattice of Models of Peano Arithmetic

James H. Schmerl

Comments: This paper replaces a previous, similarly titled paper

Subjects: Logic (math.LO)

[27] arXiv:1910.05556 [pdf, other]

Title: Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids

Dmitry Shkatov, C. J. Van Alten

Journal-ref: Algebra Universalis, 80(3), 2019, article 36

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

[28] arXiv:1910.05641 [pdf, other]

Title: On categories of o-minimal structures

Rodrigo Figueiredo, Hugo Luiz Mariano

Comments: 9 pages, 4 figures

Subjects: Logic (math.LO)

[29] arXiv:1910.05825 [pdf, other]

Title: A minimal pair in the generic degrees

Denis R. Hirschfeldt

Journal-ref: J. symb. log. 85 (2020) 531-537

Subjects: Logic (math.LO)

[30] arXiv:1910.05834 [pdf, other]

Title: On a strengthening of Jónssonness for $\aleph_ω$

Monroe Eskew

Subjects: Logic (math.LO)

[31] arXiv:1910.05932 [pdf, other]

Title: Dp-finite fields II: the canonical topology and its relation to henselianity

Will Johnson

Comments: Added reference to Halevi-Palacin

Subjects: Logic (math.LO)

[32] arXiv:1910.06406 [pdf, other]

Title: Clouds in Higher Dimensions

Samuel Desrochers

Comments: 8 pages, 2 figures

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

[33] arXiv:1910.06520 [pdf, other]

Title: Mahlo classes for first-order reflections

Toshiyasu Arai

Subjects: Logic (math.LO)

[34] arXiv:1910.07750 [pdf, other]

Title: Partial combinatory algebra and generalized numberings

H. P. Barendregt, S. A. Terwijn

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

[35] arXiv:1910.07913 [pdf, other]

Title: Representations and the foundations of mathematics

Sam Sanders

Comments: 24 pages, one figure. To appear in Notre Dame Journal for Formal Logic. Uses the same or similar 'preliminaries' or 'appendix' section as arXiv:1910.02489, arXiv:1908.05677, arXiv:1908.05676, arXiv:1905.04058

Journal-ref: Notre Dame J. Formal Logic 63, no. 1 (2022), 1-28

Subjects: Logic (math.LO)

[36] arXiv:1910.07926 [pdf, other]

Title: A note on the finitization of Abelian and Tauberian theorems

Thomas Powell

Subjects: Logic (math.LO)

[37] arXiv:1910.08188 [pdf, other]

Title: Strong ergodicity around countable products of countable equivalence relations

Assaf Shani

Subjects: Logic (math.LO)

[38] arXiv:1910.08389 [pdf, other]

Title: On superstability in the class of flat modules and perfect rings

Marcos Mazari-Armida

Comments: 14 pages. AECs preliminaries overlap with arXiv:1908.02189

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

[39] arXiv:1910.08621 [pdf, other]

Title: Abelian group actions and hypersmooth equivalence relations

Michael R. Cotton

Journal-ref: Annals of Pure and Applied Logic, Volume 173, Issue 8, 2022

Subjects: Logic (math.LO); Dynamical Systems (math.DS); General Topology (math.GN)

[40] arXiv:1910.08793 [pdf, other]

Title: Entangledness in Suslin lines and trees

John Krueger

Subjects: Logic (math.LO)

[41] arXiv:1910.09009 [pdf, other]

Title: Residuation in finite posets

Ivan Chajda, Helmut Länger

Subjects: Logic (math.LO)

[42] arXiv:1910.09258 [pdf, other]

Title: Computability in partial combinatory algebras

S. A. Terwijn

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

[43] arXiv:1910.09724 [pdf, other]

Title: Structural Considerations of Ramsey Algebras

Zu Yao Teoh

Comments: 19 pages

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

[44] arXiv:1910.10572 [pdf, other]

Title: Externally definable quotients and NIP expansions of the real ordered additive group

Erik Walsberg

Comments: Filled a gap and improved exposition. Comments are welcome

Subjects: Logic (math.LO)

[45] arXiv:1910.10774 [pdf, other]

Title: Generic wide indiscernible sets

Alexander Usvyatsov

Subjects: Logic (math.LO)

[46] arXiv:1910.10811 [pdf, other]

Title: Classification over a predicate -- the general case. Part I -- structure theory

Saharon Shelah, Alexander Usvyatsov

Subjects: Logic (math.LO)

[47] arXiv:1910.11025 [pdf, other]

Title: Finiteness classes arising from Ramsey-theoretic statements in set theory without choice

Joshua Brot, Mengyang Cao, David Fernández-Bretón

Comments: 23 pages, 1 figure+1 picture. A few typos corrected, and some references updated, as compared to the previous version

Journal-ref: Annals of Pure and Applied Logic 172 no. 6 (2021), 102961

Subjects: Logic (math.LO)

[48] arXiv:1910.11181 [pdf, other]

Title: The Measure Game

Logan Crone, Lior Fishman, Stephen Jackson, Houston Schuerger, David Simmons

Subjects: Logic (math.LO)

[49] arXiv:1910.11213 [pdf, other]

Title: Turing Degrees and Randomness for Continuous Measures

Mingyang Li, Jan Reimann

Comments: 22 pages

Subjects: Logic (math.LO)

[50] arXiv:1910.11230 [pdf, other]

Title: Counting siblings in universal theories

Samuel Braunfeld, Michael C. Laskowski

Comments: 26 pages; v3 to appear in Journal of Symbolic Logic

Journal-ref: J. Symb. Log. 87 (2022), 1130-1155

Subjects: Logic (math.LO)

[51] arXiv:1910.11287 [pdf, other]

Title: A definability criterion for connected Lie groups

Alf Onshuus, Sacha Post

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

[52] arXiv:1910.11404 [pdf, html, other]

Title: Non-locally modular regular types in classifiable theories

Elisabeth Bouscaren, Bradd Hart, Ehud Hrushovski, Michael C. Laskowski

Comments: Revised version, many details added, Appendix extended

Subjects: Logic (math.LO)

[53] arXiv:1910.11996 [pdf, other]

Title: Monadic pseudo BE-algebras

Lavinia Corina Ciungu

Subjects: Logic (math.LO)

[54] arXiv:1910.12171 [pdf, html, other]

Title: Model theory of differential-henselian pre-$H$-fields

Nigel Pynn-Coates

Comments: 37 pages; v5: revised according to suggestions by the referee, sections 3 and 4.A rewritten, smaller changes throughout

Subjects: Logic (math.LO); Commutative Algebra (math.AC)

[55] arXiv:1910.13186 [pdf, other]

Title: Completion of Choice

Vasco Brattka, Guido Gherardi

Comments: 30 pages

Journal-ref: Annals of Pure and Applied Logic 172:3 (2021) 102914

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

[56] arXiv:1910.13504 [pdf, other]

Title: An NIP structure which does not interpret an infinite group but whose Shelah expansion interprets an infinite field

Erik Walsberg

Comments: 3 pages

Subjects: Logic (math.LO)

[57] arXiv:1910.13975 [pdf, other]

Title: A Brief Tour of Logic and Optimization

John Hooker

Subjects: Logic (math.LO)

[58] arXiv:1910.14391 [pdf, other]

Title: Small u(kappa) at singular kappa with compactness at kappa++

Radek Honzik, Sarka Stejskalova

Comments: 20 pages, submitted

Subjects: Logic (math.LO)

[59] arXiv:1910.14471 [pdf, other]

Title: Decidability Problems for Adele Rings and related restricted products

Jamshid Derakhshan, Angus Macintyre

Subjects: Logic (math.LO)

[60] arXiv:1910.14480 [pdf, other]

Title: How to have more things by forgetting how to count them

Asaf Karagila, Philipp Schlicht

Comments: 12 pages

Journal-ref: Proc. R. Soc. A.476:2019.0782 (2019)

Subjects: Logic (math.LO)

[61] arXiv:1910.14517 [pdf, other]

Title: Truncations of Ordered Abelian Groups

Paola D'Aquino, Jamshid Derakhshan, Angus Macintyre

Subjects: Logic (math.LO)

[62] arXiv:1910.00311 (cross-list from math.CO) [pdf, other]

Title: The Ramsey properties for Grassmannians over $\mathbb R$, $\mathbb C$

Dana Bartošová, Jordi Lopez-Abad, Martino Lupini, Brice Mbombo

Subjects: Combinatorics (math.CO); Functional Analysis (math.FA); Logic (math.LO)

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

Title: Extraction of Efficient Programs in $IΣ_1$-arithmetic

Ján Komara, Paul J. Voda

Comments: 16 pages; reprint of the technical report from July, 2000

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

[64] arXiv:1910.01014 (cross-list from math.CT) [pdf, other]

Title: Codensity: Isbell duality, pro-objects, compactness and accessibility

Ivan Di Liberti

Comments: 20 pages. Final version. Accepted by Journal of Pure and Applied Algebra

Subjects: Category Theory (math.CT); General Topology (math.GN); Logic (math.LO)

[65] arXiv:1910.01239 (cross-list from math.NT) [pdf, other]

Title: Undecidability, unit groups, and some totally imaginary infinite extensions of $\mathbb{Q}$

Caleb Springer

Comments: 11 pages

Subjects: Number Theory (math.NT); Logic (math.LO)

[66] arXiv:1910.01387 (cross-list from math.RA) [pdf, other]

Title: The Hahn embedding theorem for a class of residuated semigroups

Sándor Jenei

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

[67] arXiv:1910.01404 (cross-list from math.RA) [pdf, other]

Title: Group representation for even and odd involutive commutative residuated chains

Sándor Jenei

Comments: This is the version which appeared in Studia Logica

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

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

Title: Modal Logic via Global Consequence

Xuefeng Wen

Comments: NCML 2019 Paper

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

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

Title: Clause Set Cycles and Induction

Stefan Hetzl, Jannik Vierling

Journal-ref: Logical Methods in Computer Science, Volume 16, Issue 4 (November 30, 2020) lmcs:5832

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

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

Title: Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents

Tim Lyon, Alwen Tiu, Rajeev Goré, Ranald Clouston

Comments: Appended version of the paper "Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents", accepted to the 28th International Conference on Computer Science Logic (CSL 2020)

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

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

Title: On Axiomatization of Lewis' Conditional Logics

Xuefeng Wen

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

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

Title: On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems

Tim Lyon

Comments: Appended version of the paper "On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems", accepted to the International Symposium on Logical Foundations of Computer Science (LFCS 2020)

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

[73] arXiv:1910.06624 (cross-list from cs.AI) [pdf, other]

Title: Probability Logic

Niki Pfeifer

Comments: 16 pages, handbook chapter contribution

Subjects: Artificial Intelligence (cs.AI); Logic (math.LO); Probability (math.PR)

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

Title: Syntactic Cut-Elimination for Intuitionistic Fuzzy Logic via Linear Nested Sequents

Tim Lyon

Comments: Appended version of the paper "Syntactic Cut-Elimination for Intuitionistic Fuzzy Logic via Linear Nested Sequents", accepted to the International Symposium on Logical Foundations of Computer Science (LFCS 2020)

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

[75] arXiv:1910.07230 (cross-list from math.OA) [pdf, other]

Title: Trivial Endomorphisms of the Calkin Algebra

Andrea Vaccaro

Comments: 23 pages. Final journal version, with minor changes with respect of the first version

Subjects: Operator Algebras (math.OA); Logic (math.LO)

[76] arXiv:1910.07298 (cross-list from cs.GT) [pdf, other]

Title: Intelligence in Strategic Games

Pavel Naumov, Yuan Yuan

Subjects: Computer Science and Game Theory (cs.GT); Logic in Computer Science (cs.LO); Multiagent Systems (cs.MA); Logic (math.LO)

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

Title: Generalized Absorptive Polynomials and Provenance Semantics for Fixed-Point Logic

Katrin M. Dannert, Erich Grädel, Matthias Naaf, Val Tannen

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

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

Title: Glueability of resource proof-structures: inverting the Taylor expansion (long version)

Giulio Guerrieri (1), Luc Pellissier (2), Lorenzo Tortora de Falco (3) ((1) University of Bath, Department of Computer Science, (2) Université de Paris, IRIF, (3) Università Roma Tre, Dipartimento di Matematica e Fisica)

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

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

Title: Hyperfinite measure-preserving actions of countable groups and their model theory

Alice Giraud

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

[80] arXiv:1910.08299 (cross-list from math.FA) [pdf, other]

Title: Geometric Characterization of Preduals of Injective Banach Lattices

A.G. Kusraev, S.S. Kutateladze

Subjects: Functional Analysis (math.FA); Logic (math.LO)

[81] arXiv:1910.08464 (cross-list from math.GR) [pdf, other]

Title: On Tarski's problem for virtually free groups

Simon André (IRMAR)

Comments: 81 pages

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

[82] arXiv:1910.08503 (cross-list from cs.CC) [pdf, other]

Title: Proof complexity of systems of (non-deterministic) decision trees and branching programs

Sam Buss, Anupam Das, Alexander Knop

Comments: 36 pages, 1 figure, full version of CSL 2020 paper

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

[83] arXiv:1910.08647 (cross-list from cs.AI) [pdf, other]

Title: Blameworthiness in Security Games

Pavel Naumov, Jia Tao

Comments: 34th AAAI Conference on Artificial Intelligence (AAAI-20), February 7-12, 2020, New York, New York, USA

Subjects: Artificial Intelligence (cs.AI); Computer Science and Game Theory (cs.GT); Logic in Computer Science (cs.LO); Logic (math.LO)

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

Title: Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's Ontological Argument

Christoph Benzmüller, David Fuenmayor

Comments: 21 pages, 6 figures; to appear in the Bulletin of the Section of Logic

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); General Topology (math.GN); Logic (math.LO)

[85] arXiv:1910.09000 (cross-list from math.GR) [pdf, other]

Title: On the positive theory of groups acting on trees

Montserrat Casals-Ruiz, Albert Garreta, Javier de la Nuez González

Comments: 59 pages, 17 figures

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

[86] arXiv:1910.09148 (cross-list from math.CT) [pdf, other]

Title: A syntactical and categorical analysis for Varieties with Right Existentially Defined Factor Congruences

William Zuluaga

Comments: This is a preprint

Subjects: Category Theory (math.CT); Logic (math.LO)

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

Title: The Lean mathematical library

The mathlib Community

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

[88] arXiv:1910.10629 (cross-list from math.GN) [pdf, other]

Title: The effect of forcing axioms on the tightness of the $G_δ$ modification

William Chen-Mertens, Paul J. Szeptycki

Subjects: General Topology (math.GN); Logic (math.LO)

[89] arXiv:1910.10634 (cross-list from math.GN) [pdf, other]

Title: Selectivity properties of spaces

William Chen-Mertens, Paul J. Szeptycki

Subjects: General Topology (math.GN); Logic (math.LO)

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

Title: Metamath Zero: The Cartesian Theorem Prover

Mario Carneiro

Comments: 34 pages, 4 figures, extended version of a paper submitted to CICM 2020

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

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

Title: Overview of Logical Foundations of Cyber-Physical Systems

André Platzer

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

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

Title: Universal minimal flows of homeomorphism groups of high-dimensional manifolds are not metrizable

Yonatan Gutman, Todor Tsankov, Andy Zucker

Comments: revised version, a new figure has been added

Subjects: Dynamical Systems (math.DS); General Topology (math.GN); Logic (math.LO)

[93] arXiv:1910.12764 (cross-list from math.AG) [pdf, other]

Title: Bounded integral and motivic Milnor fiber

Arthur Forey, Yimu Yin

Comments: typos corrected, added Fubini theorem in section 5. arXiv admin note: text overlap with arXiv:1808.07129, arXiv:1810.03561

Subjects: Algebraic Geometry (math.AG); Logic (math.LO)

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

Title: Belief revision and 3-valued logics: Characterization of 19,683 belief change operators

Nerio Borges, Ramón Pino Pérez

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