Related papers: Relationships between Principles of Choice in Seco…
This article presents an elementary proof of Zorn's Lemma under the Axiom of Choice, simplifying and supplying necessary details in the original proof by Paul R. Halmos in his book, Naive Set Theory. Also provided, is a preamble to Zorn's…
A common technique for aligning large language models (LLMs) relies on acquiring human preferences by comparing multiple generations conditioned on a fixed context. This method, however, relies solely on pairwise comparisons, where the…
We explain how to deduce the degenerate analogue of Ariki's categorification theorem over the ground field C as an application of Schur-Weyl duality for higher levels and the Kazhdan-Lusztig conjecture in finite type A. We also discuss some…
We deal with relatives of GCH which are provable. In particular we deal with rank version of the revised GCH. Our motivation was to find such results when only weak versions of the axiom of choice are assumed but some of the results gives…
Higher-order constructs extend the expressiveness of first-order (Constraint) Logic Programming ((C)LP) both syntactically and semantically. At the same time assertions have been in use for some time in (C)LP systems helping programmers…
Selectional preference learning methods have usually focused on word-to-class relations, e.g., a verb selects as its subject a given nominal class. This papers extends previous statistical models to class-to-class preferences, and presents…
Using well-known methods we generalize (hyper)virial theorems to case of singular potential. Discussion is carried on for most general second order differential equation, which involves all physically interesting cases, such as…
I introduce new Langlands duality conjectures concerning skein modules of 3-manifolds, which we have made recently with David Ben-Zvi, Sam Gunningham, and Pavel Safronov. I recount some historical motivation and some recent special cases…
Motivated by the famous Skolem-Mahler-Lech theorem we initiate in this paper the study of a natural class of determinantal varieties which we call {\em Vandermonde varieties}. They are closely related to the varieties consisting of all…
Possibility theory offers a framework where both Lehmann's "preferential inference" and the more productive (but less cautious) "rational closure inference" can be represented. However, there are situations where the second inference does…
In the theory of conditional sets, many classical theorems from areas such as functional analysis, probability theory or measure theory are lifted to a conditional framework, often to be applied in areas such as mathematical economics or…
We study linear-time temporal logics interpreted over data words with multiple attributes. We restrict the atomic formulas to equalities of attribute values in successive positions and to repetitions of attribute values in the future or…
We look at equivalence relations on the set of models of a theory -- MERs, for short -- such that the class of equivalent pairs is itself an elementary class, in a language appropriate for pairs of models. We provide many examples of…
In this article, I focus on the resiliency of the P=?NP problem. The main point to deal with is the change of the underlying logic from first to second-order logic. In this manner, after developing the initial steps of this change, I can…
Axion-like particles (ALPs) and heavy neutral leptons (HNLs) are both well-motivated extensions of the Standard Model. As ALPs couple to on-shell fermions proportionally to their masses, processes involving both types of particles may give…
We characterize the languages in the individual levels of the quantifier alternation hierarchy of first-order logic with two variables by identities. This implies decidability of the individual levels. More generally we show that the…
We show the existence of a set $A\subseteq \mathbb{Z}_{\geq 2}$ satisfying the estimates of the Bateman--Horn conjecture, Goldbach's conjecture, and also \[ \#\{p\leq x \text{ prime} ~|~ p\in A\} \gg x(\log\log x)/(\log x)^2. \]
This paper is the second in a series of planned papers which provide first bijective proofs of alternating sign matrix results. Based on the main result from the first paper, we construct a bijective proof of the enumeration formula for…
Partitions of the set of primes are introduced based on the Chebyshev polynomials at rationals. The prime densities of all such partitions are established. Euler's Criterion for $SL(2,\mathbb Q)$ is formulated, which is the bridge between…
Modal logic with propositional quantifiers (i.e. second-order propositional modal logic (SOPML)) has been considered since the early time of modal logic. Its expressive power and complexity are high, and its van-Benthem-Rosen theorem and…