Related papers: Revisiting the generalized {\L}o\'s-Tarski theorem

We prove the following version of the first incompleteness theorem that simultaneously strengthens Mostowski's theorem and Vaught's theorem: For any c.e. family $\{ T_i \}_{i \in \omega}$ of consistent extensions of Tarski, Mostowski and…

In an earlier paper, we gave an abstract formulation of a theorem of Sierpi\'nski in uncountable commutative groups. In this paper, we prove a result which generalizes the earlier formulation.

Let $k$ be a field of arbitrary characteristic. Nakai (1978) proved a structure theorem for $k$-domains admitting a nontrivial locally finite iterative higher derivation when $k$ is algebraically closed. In this paper, we generalize Nakai's…

In this paper we apply our results on the geometry of polygons in Cartan subspaces, symmetric spaces and buildings to four problems in algebraic group theory. Two of these problems are generalizations of the problems of finding the…

We study the characterization and computation of general policies for families of problems that share a structure characterized by a common reduction into a single abstract problem. Policies $\mu$ that solve the abstract problem P have been…

We establish generalizations of the well-known surjunctivity theorem of Gromov and Weiss as well as the dual-surjunctivity theorem of Capobianco, Kari and Taati for cellular automata (CA) to local perturbations of CA over sofic group…

A partial algebra construction of Gr\"atzer and Schmidt from "Characterizations of congruence lattices of abstract algebras" (Acta Sci. Math. (Szeged) 24 (1963), 34-59) is adapted to provide an alternative proof to a well-known fact that…

Regev and Stephens-Davidowitz conjectured that the Gaussian mass $\Theta_\Lambda(t) = \sum_{x \in \Lambda} e^{-t\lVert x\rVert^2}$ of any integral lattice $\Lambda \subset \mathbb{R}^n$ is bounded above by $\Theta_{\mathbb{Z}^n}(t)$. For…

Learning sketching matrices for fast and accurate low-rank approximation (LRA) has gained increasing attention. Recently, Bartlett, Indyk, and Wagner (COLT 2022) presented a generalization bound for the learning-based LRA. Specifically, for…

We introduce a new topological generalization of the $\sigma$-projective hierarchy, not limited to Polish spaces. Earlier attempts have replaced $^{\omega}\omega$ by $^{\kappa}\kappa$, for $\kappa$ regular uncountable, or replaced countable…

We define $\lambda(r)$-convergence, which is a generalization of nontangential convergence in the unit disc. We prove Fatou-type theorems on almost everywhere nontangential convergence of Poisson-Stiltjes integrals for general kernels…

We generalize the Hart-Shelah example \cite{HaSh:323} to higher infinitary logics. We build, for each natural number $k\geq 2$ and for each infinite cardinal $\lambda$, a sentence $\psi_k^\lambda$ of the logic $L_{(2^\lambda)^+,\omega}$…

The Lopsided Lov\'{a}sz Local Lemma (LLLL) is a powerful probabilistic principle which has been used in a variety of combinatorial constructions. While originally a general statement about probability spaces, it has recently been…

The Minkowski's Question-Mark function is a singular homeomorphism of the unit interval that maps the set of quadratic surds into the rationals. This function has deserved the attention of several authors since the beginning of the…

The Lovasz Local Lemma [EL75] is a powerful tool to prove the existence of combinatorial objects meeting a prescribed collection of criteria. The technique can directly be applied to the satisfiability problem, yielding that a k-CNF formula…

The linguistic applications of the Lambek calculus suggest its semantics over algebras of formal languages. A straightforward approach to construct such semantics indeed yields a brilliant completeness theorem (Pentus 1995). However,…

We prove a generalized version of Renault's theorem for Cartan subalgebras. We show that the original assumptions of second countability and separability are not needed. This weakens the assumption of topological principality of the…

Recently, in arXiv:1304.7895; Ukrainian Math. J. - 2014.- 66. - P. 371 - 383, we presented the generalized Li's criterion. This is the statement that the sums /lambda_(n, b, /sigma)=Sum_(rho)((1-((/rho+b)/(/rho-b-2*/sigma))^n)), taken over…

We investigate the non-elementary computational complexity of a family of substructural logics without contraction. With the aid of the technique pioneered by Lazi\'c and Schmitz (2015), we show that the deducibility problem for full Lambek…

The Tarskian classical relevant logic TR arises from Tarski's work on the foundations of the calculus of relations and on first-order logic restricted to finitely many variables, presented by Tarski and Givant their book, A Formalization of…