Related papers: The $\omega$-Vaught's Conjecture

Prior work has shown that causal structure can be uniquely identified from observational data when these follow a structural equation model whose error terms have equal variances. We show that this fact is implied by an ordering among…

We prove the Categorified Wrapping Number Conjecture for large classes of annular links, including alternating annular links and tangle closures exhibiting plumbed link phenomena. We do so by characterizing when a resolution is sufficient…

Coinduction occurs in two guises in Horn clause logic: in proofs of self-referencing properties and relations, and in proofs involving construction of (possibly irregular) infinite data. Both instances of coinductive reasoning appeared in…

Rewriting techniques based on reduction orderings generate "just enough" consequences to retain first-order completeness. This is ideal for superposition-based first-order theorem proving, but for at least one approach to inductive…

We discuss an algebraic approach to propositional logic with side effects. To this end, we use Hoare's conditional [1985], which is a ternary connective comparable to if-then-else. Starting from McCarthy's notion of sequential evaluation…

It is well known that the resolution method (for propositional logic) is complete. However, completeness proofs found in the literature use an argument by contradiction showing that if a set of clauses is unsatisfiable, then it must have a…

We consider model-theoretic properties related to the expressive power of three analogues of $L_{\omega_1, \omega}$ for metric structures. We give an example showing that one of these infinitary logics is strictly more expressive than the…

We prove that the Kakeya maximal conjecture is equivalent to the $\Omega$-Kakeya maximal conjecture. This completes a recent result in [2] where Keleti and Math{\'e} proved that the Kakeya conjecture is equivalent to the $\Omega$-Kakeya…

In this paper, we propose a generalization of Continuous Logic ([BBHU08]) where the distances take values in suitable co-quantales (in the way as it was proposed in [Fla97]). By assuming suitable conditions (e.g., being co-divisible,…

We prove new cases of Vojta's conjectures for surfaces in the context of function fields, with truncation equal to one and providing an effective explicit description of the exceptional set. We also prove a general and explicit result…

We show that very general hypersurfaces in odd-dimensional simplicial projective toric varieties verifying a certain combinatorial property satisfy the Hodge conjecture (these include projective spaces). This gives a connection between the…

We prove Union-Closed sets conjecture.

Analogues of invariant theory's well-known Roberts theorem are proved for ternary forms. We established that covariants, contravariants and mixed concomitants of a ternary form are uniquely determined by their lead coefficients.

We describe a variation of Ash's $\eta$-system, and give a new proof of Ash's metatheorem. As an application, we prove a generalization of Ash and Knight's theorem on pairs of structures.

We prove completeness, interpolation and omitting types for certain predicate topological logics that properly extend the first order case. We aslo count the non isomorphic topological models of a countable theory

We provide a simple proof for the union-closed sets conjecture, a long-standing open problem in set theory with immediate applications to graph theory, number theory, and order-theory.

We relate extensions of completely unitary VOAs and (commutative) Q-systems. As an application, we show that any unitary extension of a completely unitary VOA is completely unitary.

We first propose what we call the Gaussian Moments Conjecture. We then show that the Jacobian Conjecture follows from the Gaussian Moments Conjecture. We also give a counter-example to a more general statement known as the Moments Vanishing…

A new proof of Oka's lemma is given for smoothly bounded, pseudoconvex domains $D\subset\mathbb{C}^n$. The method of proof is then also applied to other convexity-like hypotheses on the boundary of $D$.

We introduce the notion of \tau-like partial order, where \tau is one of the linear order types \omega, \omega*, \omega+\omega*, and \zeta. For example, being \omega-like means that every element has finitely many predecessors, while being…