Logic
See recent articles
Showing new listings for Tuesday, 20 May 2025
- [1] arXiv:2505.12804 [pdf, html, other]
-
Title: Magidor-like forcing and the cofinality of the Galvin numberSubjects: Logic (math.LO)
We force over a model of AD to obtain the consistency of the Galvin number having countable cofinality.
New submissions (showing 1 of 1 entries)
- [2] arXiv:2505.11566 (cross-list from stat.ME) [pdf, other]
-
Title: Theory: Multidimensional Space of EventsComments: 45 pages, 6 figures, 6 tables, Supplementary MaterialSubjects: Methodology (stat.ME); Logic (math.LO); Probability (math.PR); Machine Learning (stat.ML)
This paper extends Bayesian probability theory by developing a multidimensional space of events (MDSE) theory that accounts for mutual influences between events and hypotheses sets. While traditional Bayesian approaches assume conditional independence between certain variables, real-world systems often exhibit complex interdependencies that limit classical model applicability. Building on established probabilistic foundations, our approach introduces a mathematical formalism for modeling these complex relationships. We developed the MDSE theory through rigorous mathematical derivation and validated it using three complementary methodologies: analytical proofs, computational simulations, and case studies drawn from diverse domains. Results demonstrate that MDSE successfully models complex dependencies with 15-20% improved prediction accuracy compared to standard Bayesian methods when applied to datasets with high interdimensionality. This theory particularly excels in scenarios with over 50 interrelated variables, where traditional methods show exponential computational complexity growth while MDSE maintains polynomial scaling. Our findings indicate that MDSE provides a viable mathematical foundation for extending Bayesian reasoning to complex systems while maintaining computational tractability. This approach offers practical applications in engineering challenges including risk assessment, resource optimization, and forecasting problems where multiple interdependent factors must be simultaneously considered.
- [3] arXiv:2505.12269 (cross-list from econ.GN) [pdf, other]
-
Title: Vague Knowledge: Evidence from Analyst ReportsSubjects: General Economics (econ.GN); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Logic (math.LO); General Finance (q-fin.GN)
People in the real world often possess vague knowledge of future payoffs, for which quantification is not feasible or desirable. We argue that language, with differing ability to convey vague information, plays an important but less known-role in subjective expectations. Empirically, we find that in their reports, analysts include useful information in linguistic expressions but not numerical forecasts. Specifically, the textual tone of analyst reports has predictive power for forecast errors and subsequent revisions in numerical forecasts, and this relation becomes stronger when analyst's language is vaguer, when uncertainty is higher, and when analysts are busier. Overall, our theory and evidence suggest that some useful information is vaguely known and only communicated through language.
- [4] arXiv:2505.12899 (cross-list from cs.LO) [pdf, other]
-
Title: Interpolation for the two-way modal mu-calculusComments: Accepted at LICS 2025Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
The two-way modal mu-calculus is the extension of the (standard) one-way mu-calculus with converse (backward-looking) modalities. For this logic we introduce two new sequent-style proof calculi: a non-wellfounded system admitting infinite branches and a finitary, cyclic version of this that employs annotations. As is common in sequent systems for two-way modal logics, our calculi feature an analytic cut rule. What distinguishes our approach is the use of so-called trace atoms, which serve to apply Vardi's two-way automata in a proof-theoretic setting. We prove soundness and completeness for both systems and subsequently use the cyclic calculus to show that the two-way mu-calculus has the (local) Craig interpolation property, with respect to both propositions and modalities. Our proof uses a version of Maehara's method adapted to cyclic proof systems. As a corollary we prove that the two-way mu-calculus also enjoys Beth's definability property.
- [5] arXiv:2505.13096 (cross-list from cs.LO) [pdf, html, other]
-
Title: Domains and Classifying TopoiSubjects: Logic in Computer Science (cs.LO); Category Theory (math.CT); Logic (math.LO)
We explore a new connection between synthetic ___domain theory and Grothendieck topoi related to the distributive lattice classifier. In particular, all the axioms of synthetic ___domain theory (including the inductive fixed point object and the chain completeness of the dominance) emanate from a countable version of the synthetic quasi-coherence principle that has emerged as a central feature in the unification of synthetic algebraic geometry, synthetic Stone duality, and synthetic category theory. The duality between quasi-coherent algebras and affine spaces in a topos with a distributive lattice object provides a new set of techniques for reasoning synthetically about ___domain-like structures, and reveals a broad class of (higher) sheaf models for synthetic ___domain theory.
Cross submissions (showing 4 of 4 entries)
- [6] arXiv:2209.01395 (replaced) [pdf, html, other]
-
Title: The proper forcing axiom for $\aleph_1$-sized posets, $ω_1$-linked symmetrically proper forcing, and the size of the continuumComments: We changed the title. The paper contains two new applications: the consistency of the Abraham-Rubin-Shelah Open Colouring Axiom with large continuum and the consistency of Martin's Maximum for posets of size $\aleph_1$ with large continuumSubjects: Logic (math.LO)
We show that the Proper Forcing Axiom for forcing notions of size $\aleph_1$ is consistent with the continuum being arbitrarily large. In fact, assuming $GCH$ holds and $\kappa\geq\omega_2$ is a regular cardinal, we prove that there is a proper and $\aleph_2$-c.c.\ forcing giving rise to a model of this forcing axiom together with $2^{\aleph_0}=\kappa$ and which, in addition, satisfies all statements of the form $\mathcal{H}(\aleph_2)\models \exists y\varphi(a, y)$, where $a\in \mathcal{H}(\aleph_2)$ and $\varphi(x, y)$ is a $\Sigma_0$ formula with the property that for every ground model $M$ of $CH$ with $a\in M$ there is, in $M$, a suitably nice poset -- specifically, a poset $\mathbb{Q}\subseteq\mathcal{H}(\kappa)^M$ which is $\omega_1$-linked and symmetrically proper -- adding some $b$ such that $\varphi(a, b)$. In particular, $\mathbb{P}$ forces Moore's Measuring principle, Baumgartner's Axiom for $\aleph_1$-dense sets of reals, Todorčević's Open Colouring Axiom for sets of size $\aleph_1$, the Abraham-Rubin-Shelah Open Colouring Axiom, and Todorčević's P-ideal Dichotomy for $\aleph_1$-generated ideals on $\omega_1$, among other statements. Hence, all these statements are simultaneously compatible with a large continuum. Finally, we show that a further small variation of our construction yields a model satisfying, in addition to all the earlier conclusions, Martin's Maximum for posets of size $\aleph_1$.
- [7] arXiv:2402.14745 (replaced) [pdf, html, other]
-
Title: Epimorphisms between finitely generated algebrasSubjects: Logic (math.LO)
A quasivariety has the weak ES property when the epimorphisms between its finitely generated members are surjective. A characterization of quasivarieties with the weak ES property is obtained and a method for detecting failures of this property in quasivarieties with a near unanimity term and in congruence permutable varieties is given. It is also shown that under reasonable assumptions the weak ES property implies arithmeticity. In particular, every filtral variety with the weak ES property is a discriminator variety.
- [8] arXiv:2407.00505 (replaced) [pdf, html, other]
-
Title: Lyndon interpolation property for extensions of $\mathbf{S4}$ and intermediate propositional logicsComments: 37 pagesSubjects: Logic (math.LO)
We study the Lyndon interpolation property (LIP) and the uniform Lyndon interpolation property (ULIP) for extensions of $\mathbf{S4}$ and intermediate propositional logics. We prove that among the 18 consistent normal modal logics of finite height extending $\mathbf{S4}$ known to have CIP, 11 logics have LIP and 7 logics do not. We also prove that for intermediate propositional logics, the Craig interpolation property, LIP, and ULIP are equivalent.
- [9] arXiv:2409.06064 (replaced) [pdf, html, other]
-
Title: Approximability of deep equilibriaSubjects: Logic (math.LO)
We introduce a structural framework for computations involving floating-point this http URL by real-valued logic, we introduce deep computations (ultracomputations) and deep iterates, formalizing the ideas of "asymptotic limit" of computations and compositional iterates, respectively.
As an application of this framework, we prove the existence of deep equilibria, which hitherto have been found only empirically (yielding remarkable memory savings in deep learning). Our proof of existence of deep equilibria is based on the concept of idempotent ultrafilter from combinatorics and inspired by the notion of indiscernibility from model theory.
We study and characterize deep computations (and hence deep equilibria) that are bona fide computable, i.e., uniformly approximable by a priori given computable primitive real-valued functions. Informed by model theory of real-valued structures, as well as Cp-theory from topology, we use a classical result of Grothendieck to characterize computability of deep computations in terms of continuous extendibility.
Our framework does not impose a priori uniform/global bounds on real-valued quantities; therefore, our structures yield non-compact types spaces. Such type spaces require a more nuanced topologically treatment than compact ones arising in model theory of [0,1]-valued structures. - [10] arXiv:2306.17679 (replaced) [pdf, html, other]
-
Title: Azumaya algebras and Barr TheoremComments: Change title and corrected typosSubjects: Commutative Algebra (math.AC); Logic (math.LO)
We study etale topology and the notion of Azumaya algebra over a commutative ring constructively. As an application of the syntactic version of Barr's Theorem, we show the equivalence between two definitions of Azumaya algebra.
- [11] arXiv:2501.14542 (replaced) [pdf, html, other]
-
Title: Ordinal Exponentiation in Homotopy Type TheoryComments: v2: Discussion of related work by R. J. Grayson; minor revisions following referee reports. To appear at LICS'25Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
While ordinals have traditionally been studied mostly in classical frameworks, constructive ordinal theory has seen significant progress in recent years. However, a general constructive treatment of ordinal exponentiation has thus far been missing. We present two seemingly different definitions of constructive ordinal exponentiation in the setting of homotopy type theory. The first is abstract, uses suprema of ordinals, and is solely motivated by the expected equations. The second is more concrete, based on decreasing lists, and can be seen as a constructive version of a classical construction by Sierpiński based on functions with finite support. We show that our two approaches are equivalent (whenever it makes sense to ask the question), and use this equivalence to prove algebraic laws and decidability properties of the exponential. All our results are formalized in the proof assistant Agda.