Logic
New submissions
[ showing up to 2000 entries per page: fewer  more ]
New submissions for Tue, 16 Aug 22
 [1] arXiv:2208.06689 [pdf, other]

Title: Computable vs Descriptive Combinatorics of Local Problems on TreesAuthors: Felix WeilacherComments: 16 pagesSubjects: Logic (math.LO); Combinatorics (math.CO)
We study the position of the computable setting in the "common theory of locality" developed in arXiv:2106.02066 and arXiv:2204.09329 for local problems on $\Delta$regular trees, $\Delta \in \omega$. We show that such a problem admits a computable solution on every highly computable $\Delta$regular forest if and only if it admits a Baire measurable solution on every Borel $\Delta$regular forest. We also show that if such a problem admits a computable solution on every computable maximum degree $\Delta$ forest then it admits a continuous solution on every maximum degree $\Delta$ Borel graph with appropriate topological hypotheses, though the converse does not hold.
 [2] arXiv:2208.06879 [pdf, other]

Title: Who Finds the Short Proof? An Exploration of variants of Boolos' Curious Inference using Higherorder Automated Theorem ProversComments: 12 pages, 7 appendices (data and proofs)Subjects: Logic (math.LO); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Mathematical Software (cs.MS); History and Overview (math.HO)
We report on an exploration of variants of Boolos' curious inference using higherorder automated theorem provers (ATPs). Surprisingly, only a single shorthand notation still had to be provided by hand. All higherorder lemmas required for obtaining short proof are automatically discovered by the computer. Given the observations and suggestions in this paper, full proof automation of Boolos' example on the speedup of proof lengths, and related examples, now seems to be within reach for higherorder ATPs.
 [3] arXiv:2208.06914 [pdf, other]

Title: Borel chromatic numbers of closed graphs and forcing with uniform treesSubjects: Logic (math.LO); Combinatorics (math.CO)
In this work, we continue the tradition initiated by Geschke, 2011 of viewing the uncountable Borel chromatic number of analytic graphs as cardinal invariants of the continuum. We show that various uncountable Borel chromatic numbers of closed graphs can be consistently different, as well as consistently equal to the continuum. This is done using arguments that are typical to Axiom A forcing notions.
 [4] arXiv:2208.06929 [pdf, ps, other]

Title: Discrete sets definable in strong expansions of ordered Abelian groupsComments: 41 pagesSubjects: Logic (math.LO)
We study the structure of infinite discrete sets D definable in expansions of ordered Abelian groups whose theories are strong and definably complete, with particular emphasis on the set D' comprised of differences between successive elements. In particular, if the burden of the structure is at most n, then the result of applying the operation of replacing D by D' n times must be a finite set (Theorem 2.22). In the case when the structure is densely ordered and has burden 2, we show that any definable unary discrete set must be definable in some elementary extension of the structure (R; <, +, Z) (Theorem 3.47).
 [5] arXiv:2208.07351 [pdf, ps, other]

Title: From Ramsey degrees to Ramsey expansions via weak amalgamationSubjects: Logic (math.LO); Category Theory (math.CT)
Under no additional assumptions, in this paper we construct a Ramsey expansion for every category of finite objects with finite small Ramsey degrees. Our construction is based on the relationship between small Ramsey degrees, weak amalgamation and recent results about weak Fra\"iss\'e categories. Namely, generalizing the fact that every Ramsey class has amalgamation, we show that classes with finite Ramsey degrees have weak amalgamation. We then invoke the machinery of weak Fra\"iss\'e categories to perform the construction. This improves previous similar results where an analogous construction was carried out under the assumption that everything sits comfortably in a bigger class with enough infrastructure, and that in this wider context there is an ultrahomogeneous structure under whose umbrella the construction takes place.
Crosslists for Tue, 16 Aug 22
 [6] arXiv:2208.06463 (crosslist from math.DS) [pdf, ps, other]

Title: Markers and the ratio ergodic theorem via tilingSubjects: Dynamical Systems (math.DS); Logic (math.LO)
We establish a marker lemma for aperiodic Borel transformations, using which we provide a measureless strengthening of Dowker's ratio ergodic theorem for conservative nonsingular transformations.
 [7] arXiv:2208.06623 (crosslist from cs.AI) [pdf, ps, other]

Title: Granular Directed Rough Sets, Concept Organization and Soft ClusteringAuthors: Mani AComments: 32 pagesSubjects: Artificial Intelligence (cs.AI); Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO); Logic (math.LO); Rings and Algebras (math.RA)
Updirected rough sets are introduced and studied by the present author in earlier papers. This is extended by her in two different granular directions in this research, with a surprising algebraic semantics. The granules are based on ideas of generalized closure under updirectedness that may be read as a form of weak consequence. This yields approximation operators that satisfy cautious monotony, while pigroupoidal approximations (that additionally involve strategic choice and algebraic operators) have nicer properties. The study is primarily motivated by possible structure of concepts in distributed cognition perspectives, real or virtual classroom learning contexts, and studentcentric teaching. Rough clustering techniques for datasets that involve updirected relations (as in the study of Sentinel project image data) are additionally proposed. This research is expected to see significant theoretical and practical applications in related domains.
 [8] arXiv:2208.06886 (crosslist from math.GN) [pdf, other]

Title: Hereditarily indecomposable continua as generic objectsComments: 63 pages, 2 figures, comments are welcomeSubjects: General Topology (math.GN); Category Theory (math.CT); Logic (math.LO)
We develop an abstract approximate Fra\"iss\'e theory in order to realize the pseudoarc as well as Padic pseudosolenoids for sets of primes P as Fra\"iss\'e limits. Our framework generalizes the discrete theory (classical and projective), but is also suitable for working directly with continuous maps on metrizable compacta. Moreover, we consider the abstract BanachMazur game played in a category and realize the pseudoarc as well as all pseudosolenoids (not necessarily Padic) as generic objects.
 [9] arXiv:2208.07143 (crosslist from cs.AI) [pdf, other]

Title: CCausal Blindness An experimental computational framework on the isomorphic relationship between biological computation, artificial computation, and logic using weighted hidden Markov modelsComments: 5 pages, 1 figureSubjects: Artificial Intelligence (cs.AI); Logic (math.LO)
This text concerns a particular flavor of cognitive blindness referred to as CCausal Blindness, or CCB. A blindness where the policy to obtain the objective leads to the state to be avoided. A literal example of CCB would be Kurt G\"odel's decision to starve for "fear of being poisoned"  take this to be premise A. The objective being "to avoid being poisoned (so as to not die)": C, the plan or policy being "don't eat": B, and the actual outcome having been "dying": not C  the state that G\"odel wanted to avoid to begin with. Like many, G\"odel pursued a strategy that caused the result he wanted to avoid. An experimental computational framework is proposed to show the isomorphic relationship between CCB in brain computations, logic, and computer computations using hidden Markov models.
Replacements for Tue, 16 Aug 22
 [10] arXiv:1904.09193 (replaced) [pdf, ps, other]

Title: CantorBernstein implies Excluded MiddleComments: 6pp / update: corrected an error in the intro wrt applicability of Thm 1, typos, added a couple of acks and a refSubjects: Logic (math.LO); Logic in Computer Science (cs.LO)
 [11] arXiv:2002.03701 (replaced) [pdf, ps, other]

Title: On ultraproducts, the spectral theorem and rigged Hilbert spacesSubjects: Logic (math.LO); Functional Analysis (math.FA)
 [12] arXiv:2201.04463 (replaced) [pdf, ps, other]
 [13] arXiv:2203.00169 (replaced) [pdf, ps, other]

Title: Infinitedimensional Ramsey theory for homogeneous structures with SDAP$^+$Authors: Natasha DobrinenComments: 30 pages. Minor modifications from previous post to align with revision of arxiv:2207.06393 and arvix:2207.0650. SubmittedSubjects: Logic (math.LO); Combinatorics (math.CO)
 [14] arXiv:2203.05135 (replaced) [pdf, ps, other]

Title: Rotation equivalence and cocycle superrigidityAuthors: Filippo CalderoniComments: Final version. Accepted for publication on the Journal of the London Mathematical SocietySubjects: Logic (math.LO)
 [15] arXiv:2204.03910 (replaced) [pdf, ps, other]

Title: Generic Stability and Modes of ConvergenceAuthors: Karim KhanakiComments: (26 pages) In this new version, major changes have been madeSubjects: Logic (math.LO)
 [16] arXiv:2204.06051 (replaced) [pdf, ps, other]

Title: On rearrangement inequalities for Tnorm logicsAuthors: Chai Wah WuComments: 13 pages, 3 tables, minor edits, added additional referencesSubjects: Logic (math.LO)
 [17] arXiv:2206.10754 (replaced) [pdf, other]

Title: The real numbers in inner models of set theoryAuthors: Martín Soto QuintanillaComments: Bachelor's Thesis, 55 pagesSubjects: Logic (math.LO)
[ showing up to 2000 entries per page: fewer  more ]
Disable MathJax (What is MathJax?)
Links to: arXiv, form interface, find, math, recent, 2208, contact, help (Access key information)