Related papers: Model theory and ultraproducts
We present a survey of the saturation method for model-checking pushdown systems.
In this paper a new saturation model is presented. This model is based on the theoretical solution for the generating functional, and it is quite different and not more complicated than the Glauber-like approach used before. The model…
We find many conditions equivalent to the model-theoretical property $\lambda \stackrel{\kappa}{\Rightarrow} \mu$ introduced in [L1]. Our conditions involve uniformity of ultrafilters, compactness properties of products of topological…
We revisit the problems of dark energy and dark matter and several models designed to explain them, leading to the hypothetical fifth force in the light of some latest findings.
New title and minor adjustments. To appear in the Journal of Pure and Applied Algebra
I review recent theoretical work on top-quark physics within the standard model, beyond the standard model, and at the Planck scale.
We review recent developments towards models for neutrino masses and mixings.
We discuss historical attempts to formulate a physical hypothesis from which Turing's thesis may be derived, and also discuss some related attempts to establish the computability of mathematical models in physics. We show that these…
The basic workings of inflationary models are summarized, along with the arguments that strongly suggest that our universe is the product of inflation. I describe the quantum origin of density perturbations, giving a heuristic derivation of…
In this review we motivate ultrahigh energy neutrino searches and their connection to ultrahigh energy cosmic rays. We give an overview of neutrino production mechanisms and their potential sources. Several model-independent benchmarks of…
Extreme value theory provides rigorous theory and statistical tools for extrapolation in machine learning, particularly in settings where traditional methods struggle due to data scarcity in the tails. A broad range of tasks benefit from…
Some recent results in supersymmetric grand unified theories are reviewed.
The survey contains a brief description of the ideas, constructions, results, and prospects of the theory of hypergroups and generalized translation operators. Representations of hypergroups are considered, being treated as continuous…
We begin with a brief discussion of the building blocks of supersymmetric grand unified theories. We recall some of the compelling theoretical reasons for viewing supersymmetric grand unification as an attractive avenue for physics beyond…
We report about some results, interesting examples, problems and conjectures revolving around the parabolic Kostant partition functions, the parabolic Kostka polynomials and ``saturation'' properties of several generalizations of the…
The superposition principle lies at the heart of many non-classical properties of quantum mechanics. Motivated by this, we introduce a rigorous resource theory framework for the quantification of superposition of a finite number of linear…
We consider an ultraproduct that is designed to omit a fixed set of unary types $\Gamma$, called the $\Gamma$-ultraproduct. The $\Gamma$-ultraproduct is not always well-behaved, but we discuss several general conditions under which it is…
In this short note we answer some questions of Bergman regarding homomorphic images of (ultra)products of groups.
Induction in saturation-based first-order theorem proving is a new exciting direction in the automation of inductive reasoning. In this paper we survey our work on integrating induction directly into the saturation-based proof search…
The purpose of this work is to present a model for 3D massive gravity with topological and higher-derivative terms. Causality and unitarity are discussed at tree-level. Power-counting renormalizability is also contemplated.