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

Logic

New submissions

[ total of 17 entries: 1-17 ]
[ 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 Trees
Authors: Felix Weilacher
Comments: 16 pages
Subjects: 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 Higher-order Automated Theorem Provers
Comments: 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 higher-order automated theorem provers (ATPs). Surprisingly, only a single shorthand notation still had to be provided by hand. All higher-order 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 higher-order ATPs.

[3]  arXiv:2208.06914 [pdf, other]
Title: Borel chromatic numbers of closed graphs and forcing with uniform trees
Subjects: 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 groups
Comments: 41 pages
Subjects: 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 amalgamation
Subjects: 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.

Cross-lists for Tue, 16 Aug 22

[6]  arXiv:2208.06463 (cross-list from math.DS) [pdf, ps, other]
Title: Markers and the ratio ergodic theorem via tiling
Subjects: 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 (cross-list from cs.AI) [pdf, ps, other]
Title: Granular Directed Rough Sets, Concept Organization and Soft Clustering
Authors: Mani A
Comments: 32 pages
Subjects: Artificial Intelligence (cs.AI); Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO); Logic (math.LO); Rings and Algebras (math.RA)

Up-directed 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 up-directedness that may be read as a form of weak consequence. This yields approximation operators that satisfy cautious monotony, while pi-groupoidal 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 student-centric teaching. Rough clustering techniques for datasets that involve up-directed 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 (cross-list from math.GN) [pdf, other]
Title: Hereditarily indecomposable continua as generic objects
Comments: 63 pages, 2 figures, comments are welcome
Subjects: 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 pseudo-arc as well as P-adic pseudo-solenoids 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 Banach--Mazur game played in a category and realize the pseudo-arc as well as all pseudo-solenoids (not necessarily P-adic) as generic objects.

[9]  arXiv:2208.07143 (cross-list from cs.AI) [pdf, other]
Title: C-Causal Blindness An experimental computational framework on the isomorphic relationship between biological computation, artificial computation, and logic using weighted hidden Markov models
Comments: 5 pages, 1 figure
Subjects: Artificial Intelligence (cs.AI); Logic (math.LO)

This text concerns a particular flavor of cognitive blindness referred to as C-Causal Blindness, or C-CB. A blindness where the policy to obtain the objective leads to the state to be avoided. A literal example of C-CB 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 C-CB 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: Cantor-Bernstein implies Excluded Middle
Comments: 6pp / update: corrected an error in the intro wrt applicability of Thm 1, typos, added a couple of acks and a ref
Subjects: 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 spaces
Subjects: Logic (math.LO); Functional Analysis (math.FA)
[12]  arXiv:2201.04463 (replaced) [pdf, ps, other]
Title: Rigid Differentially Closed Fields
Authors: David Marker
Subjects: Logic (math.LO)
[13]  arXiv:2203.00169 (replaced) [pdf, ps, other]
Title: Infinite-dimensional Ramsey theory for homogeneous structures with SDAP$^+$
Authors: Natasha Dobrinen
Comments: 30 pages. Minor modifications from previous post to align with revision of arxiv:2207.06393 and arvix:2207.0650. Submitted
Subjects: Logic (math.LO); Combinatorics (math.CO)
[14]  arXiv:2203.05135 (replaced) [pdf, ps, other]
Title: Rotation equivalence and cocycle superrigidity
Comments: Final version. Accepted for publication on the Journal of the London Mathematical Society
Subjects: Logic (math.LO)
[15]  arXiv:2204.03910 (replaced) [pdf, ps, other]
Title: Generic Stability and Modes of Convergence
Authors: Karim Khanaki
Comments: (26 pages) In this new version, major changes have been made
Subjects: Logic (math.LO)
[16]  arXiv:2204.06051 (replaced) [pdf, ps, other]
Title: On rearrangement inequalities for T-norm logics
Authors: Chai Wah Wu
Comments: 13 pages, 3 tables, minor edits, added additional references
Subjects: Logic (math.LO)
[17]  arXiv:2206.10754 (replaced) [pdf, other]
Title: The real numbers in inner models of set theory
Comments: Bachelor's Thesis, 55 pages
Subjects: Logic (math.LO)
[ total of 17 entries: 1-17 ]
[ 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)