Logic
See recent articles
Showing new listings for Friday, 2 May 2025
- [1] arXiv:2505.00414 [pdf, html, other]
-
Title: Ladders and SquaresComments: 27 pagesSubjects: Logic (math.LO); Combinatorics (math.CO)
In 1984, Ditor asked two questions: (1) For each $n\in\omega$ and infinite cardinal $\kappa$, is there a join-semilattice of breadth $n+1$ and cardinality $\kappa^{+n}$ whose principal ideals have cardinality $< \kappa$? (2) For each $n \in \omega$, is there a lower-finite lattice of cardinality $\aleph_{n}$ whose elements have at most $n+1$ lower covers? We show that both questions have positive answers under the axiom of constructibility, and hence consistently with $\mathsf{ZFC}$. More specifically, we derive the positive answers from assuming that $\square_\kappa$ holds for enough $\kappa$'s.
- [2] arXiv:2505.00424 [pdf, html, other]
-
Title: Another infinite natural sumComments: 33 pagesSubjects: Logic (math.LO)
We define and study an infinitary operation on countable sequences of ordinals which is strictly monotone in many significant cases and has both an order-theoretical characterization and a characterization in terms of combinatorial games.
- [3] arXiv:2505.00524 [pdf, other]
-
Title: Recursive inseparability of classical theories of a binary predicate and non-classical logics of a unary predicateSubjects: Logic (math.LO)
The paper considers algorithmic properties of classical and non-classical first-order logics and theories in bounded languages. The main idea is to prove the undecidability of various fragments of classical and non-classical first-order logics and theories indirectly, by extracting it as a consequence of the recursive inseparability of special problems associated with them. First, we propose a domino problem, which makes it possible to catch the recursive inseparability of two sets. Second, using this problem, we prove that the classical first-order logic of a binary predicate and the theory of its finite models where the predicate is symmetric and irreflexive are recursively inseparable in a language with a single binary predicate letter and three variables (without constants and equality). Third, we prove, for an infinite class of logics, that the monadic fragment of a modal predicate logic and the logic of the class of its finite Kripke frames are recursively inseparable in languages with a single unary predicate letter and two individual variables; the same result is obtained if we replace the condition of finiteness of frames with the condition of finiteness of domains allowed in frames. Forth, we expand the results to a wide class of superintuitionistic predicate logics. In particular, it is proved that the positive fragments of the intuitionistic predicate logic and the logic of the class of finite intuitionistic Kripke frames are recursively inseparable in the language with a single unary predicate letter and two individual variables. The technique used and the results obtained allow us to answer some additional questions about the decidability of special monadic fragments of some modal and superintuitionistic predicate logics.
- [4] arXiv:2505.00531 [pdf, html, other]
-
Title: Superintuitionistic predicate logics of linear frames: undecidability with two individual variablesSubjects: Logic (math.LO)
The paper presents a solution to the long-standing question about the decidability of the two-variable fragment of the superintuitionistic predicate logic $\mathbf{QLC}$ defined by the class of linear Kripke frames, which is also the `superintuitionistic' fragment of the modal predicate logic $\mathbf{QS4.3}$, under the Gödel translation. We prove that the fragment is undecidable ($\Sigma^0_1$-complete). The result remains true for the positive fragment, even with a single binary predicate letter and an infinite set of unary predicate letters. Also, we prove that the logic defined by ordinal $\omega$ as a Kripke frame is not recursively enumerable (even both $\Sigma^0_1$-hard and $\Pi^0_1$-hard) with the same restrictions on the language. The results remain true if we add also the constant ___domain condition. The proofs are based on two techniques: a modification of the method proposed by this http URL and this http URL, which allows us to describe tiling problems using natural numbers rather than pairs of numbers within an enumeration of Cantor's, and an idea of `double labeling' the elements from the domains, which allows us to use only two individual variables in the proof when applying the former method.
- [5] arXiv:2505.00556 [pdf, html, other]
-
Title: When is $A + x A =\mathbb{R}$Subjects: Logic (math.LO); Classical Analysis and ODEs (math.CA); Group Theory (math.GR); Number Theory (math.NT)
We show that there is an additive $F_\sigma$ subgroup $A$ of $\mathbb{R}$ and $x \in \mathbb{R}$ such that $\mathrm{dim_H} (A) = \frac{1}{2}$ and $A + x A =\mathbb{R}$. However, if $A \subseteq \mathbb{R}$ is a subring of $\mathbb{R}$ and there is $x \in \mathbb{R}$ such that $A + x A =\mathbb{R}$, then $A =\mathbb{R}$. Moreover, assuming the continuum hypothesis (CH), there is a subgroup $A$ of $\mathbb{R}$ with $\mathrm{dim_H} (A) = 0$ such that $x \not\in \mathbb{Q}$ if and only if $A + x A =\mathbb{R}$ for all $x \in \mathbb{R}$. A key ingredient in the proof of this theorem consists of some techniques in recursion theory and algorithmic randomness. We believe it may lead to applications to other constructions of exotic sets of reals. Several other theorems on measurable, and especially Borel and analytic subgroups and subfields of the reals are presented. We also discuss some of these results in the $p$-adics.
- [6] arXiv:2505.00633 [pdf, html, other]
-
Title: Strong Rigidity and Elementary EmbeddingsComments: 15 pagesSubjects: Logic (math.LO)
We present a method for producing elementary embeddings from homomorphisms. This method is utilized in the study of the "strongly rigid relation principle" as defined by Hamkins and Palumbo in their paper "The Rigid Relation Principle, a New Weak Choice Principle." We establish that the strongly rigid relation principle is also a weak choice principle that is independent of ZF. Finally, we characterize proto Berkeley cardinals in terms of a strong failure of the strongly rigid relation principle.
- [7] arXiv:2505.00637 [pdf, html, other]
-
Title: Reinhardt Cardinals and Eventually Dominating FunctionsComments: 10 pagesSubjects: Logic (math.LO)
We prove a result concerning elementary embeddings of the set-theoretic universe into itself (Reinhardt embeddings) and functions on ordinals that "eventually dominate" such embeddings. We apply that result to show the existence of elementary embeddings satisfying some strict conditions and that are also reminiscent of extendibility in a more local setting. Building further on these concepts, we make precise the nature of some large cardinals whose existence under Reinhardt embeddings was proven by Gabriel Goldberg in his paper "Measurable Cardinals and Choiceless Axioms." Finally, these ideas are used to present another proof of the Kunen inconsistency.
New submissions (showing 7 of 7 entries)
- [8] arXiv:2505.00173 (cross-list from cs.AI) [pdf, html, other]
-
Title: First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical ImagesComments: Accepted for presentation at the FUZZ-IEEE 2025 conferenceSubjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Logic (math.LO)
This article deals with the description and recognition of fiber bundles, in particular nerves, in medical images, based on the anatomical description of the fiber trajectories. To this end, we propose a logical formalization of this anatomical knowledge. The intrinsically imprecise description of nerves, as found in anatomical textbooks, leads us to propose fuzzy semantics combined with first-order logic. We define a language representing spatial entities, relations between these entities and quantifiers. A formula in this language is then a formalization of the natural language description. The semantics are given by fuzzy representations in a concrete ___domain and satisfaction degrees of relations. Based on this formalization, a spatial reasoning algorithm is proposed for segmentation and recognition of nerves from anatomical and diffusion magnetic resonance images, which is illustrated on pelvic nerves in pediatric imaging, enabling surgeons to plan surgery.
- [9] arXiv:2505.00594 (cross-list from math.CO) [pdf, html, other]
-
Title: Decomposing graphs into stable and ordered partsSubjects: Combinatorics (math.CO); Logic in Computer Science (cs.LO); Logic (math.LO)
Connections between structural graph theory and finite model theory recently gained a lot of attention. In this setting, many interesting question remain on the properties of hereditary dependent (NIP) classes of graphs, in particular related to first-order transductions.
Motivated by Simon's decomposition theorem of dependent types into a stable part and a distal (order-like) part, we conjecture that every hereditary dependent class of graphs is transduction-equivalent to a hereditary dependent class of partially ordered graphs, where the cover graph of the partial order has bounded treewidth and the unordered graph is (edge) stable.
In this paper, we consider the first non-trivial case (classes with bounded linear cliquewidth) and prove that the conjecture holds in a strong form, where the cover graph of the partial order has bounded pathwidth. Then, we extend our study to classes that admit bounded-size bounded linear cliquewidth covers, and prove that the conjecture holds for these classes, too.
Cross submissions (showing 2 of 2 entries)
- [10] arXiv:2404.10455 (replaced) [pdf, html, other]
-
Title: Berkeley Cardinals and Vopěnka's PrincipleComments: 15 pagesSubjects: Logic (math.LO)
We introduce "$n$-choiceless" supercompact and extendible cardinals in Zermelo-Fraenkel set theory without the Axiom of Choice. We prove relations between these cardinals and Vopěnka's Principle similar to those of Bagaria's work in his papers "$C^{(n)}$-Cardinals" and "More on the Preservation of Large Cardinals Under Class Forcing." We use these relations to characterize Berkeley cardinals in terms of a restricted form of Vopěnka's Principle. Finally, we establish the equiconsistency of the "$n$-choiceless" extendible cardinals with their original counterparts, and study the consistency strength of other relevant theories.
- [11] arXiv:2411.12084 (replaced) [pdf, other]
-
Title: Scott Spectral Gaps are Bounded for Linear OrderingsComments: 35 PagesSubjects: Logic (math.LO)
We demonstrate that any $\Pi_\alpha$ sentence of the infinitary logic $L_{\omega_1 \omega}$ extending the theory of linear orderings has a model with a $\Pi_{\alpha+4}$ Scott sentence and hence of Scott rank at most $\alpha+3$. In other words, the gap between the complexity of the theory and the complexity of the simplest model is always bounded by $4$. This contrasts the situation with general structures where for any $\alpha$ there is a $\Pi_2$ sentence all of whose models have Scott rank $\alpha$. We also give new lower bounds, though there remains a small gap between our lower and upper bounds: For most (but not all) $\alpha$, we construct a $\Pi_\alpha$ sentence extending the theory of linear orderings such that no models have a $\Sigma_{\alpha+2}$ Scott sentence and hence no models have Scott rank less than or equal to $\alpha$.
- [12] arXiv:2504.11484 (replaced) [pdf, html, other]
-
Title: The Coase Theorem and Ideal ExchangesSubjects: Theoretical Economics (econ.TH); Logic (math.LO)
This paper offers a proof of the Coase theorem by formalizing the notion of ideal exchanges.