Related papers: Model theory and ultraproducts
The paper considers estimates for some sums and products of functions of prime numbers. Several assertions on this topic have been proven. We also study extremal estimates for strongly additive and strongly multiplicative arithmetic…
Automated theorem provers (ATPs) can disprove conjectures by saturating a set of clauses, but the resulting saturated sets are opaque certificates. In the unit equational fragment, a saturated set can in fact be read as a convergent rewrite…
In this work, we extend the concept of the Lipschitz saturation of an ideal to the context of modules in some different ways, and we prove they are generically equivalent.
A few topics beyond the standard model are reviewed.
Motivated by two Legendre-type formulas for overpartitions, we derive a variety of their companions as Legendre theorems for overpartition pairs. This leads to equalities of subclasses of overpartitions and overpartition pairs.
In this paper some generalizations of the sum of powers of natural numbers is considered. In particular, the class of sums whose generating function is the power of the generating function for the classical sums of powers is studying. The…
Let G denote either a special orthogonal group or a symplectic group defined over the complex numbers. We prove the following saturation result for G: given dominant weights \lambda^1, ..., \lambda^r such that the tensor product…
We discuss some aspects of Extrapolation theory. The presentation includes many examples and open problems.
Brief review of concepts and unsolved problems in the theory of matrix models.
In this talk I discuss the effects of physics beyond the standard model on the process $Z \to b\bar{b}$. I argue that, because the top-quark is heavy, this process is susceptible to large corrections from new physics.
Talk given at Frontiers in Particle Physics Conference, Cargese. In this paper, I provide some motivation for supersymmetric grand unified theories, briefly explain an extension of the standard model based on them and present a calculation…
Exact calculations of some universal quantities of two-dimensional statistical models in the vicinity of their fixed points are illustrated.
The inner model problem for supercompact cardinals, one of the central open problems in modern set theory, asks whether there is a canonical model of set theory with a supercompact cardinal. The problem is closely related to the more…
In this paper, we show how nonstandard consequence operators, ultralogics, can generate the general informational content displayed by probability models. In particular, a probability model that predicts that a specific single event will…
This is a study of universal problems for semimodules, in particular coequalizers, coproducts, and tensor products. Furthermore the structure theory of semiideals of the semiring of natural numbers is extended.
Diese kurze Einfuehrung in Theorie und Berechnung linearer Rekurrenzen versucht, eine Luecke in der Literatur zu fuellen. Zu diesem Zweck sind viele ausfuehrliche Beispiele angegeben. This short introduction to theory and usage of linear…
In this article we propose a general method of obtaining infinite sums of products with functions that count patterns in numbers.
The authors are doing the readers of Statistical Science a true service with a well-written and up-to-date overview of boosting that originated with the seminal algorithms of Freund and Schapire. Equally, we are grateful for high-level…
We give a brief overview on the successes and theoretical problems of the Standard Model and discuss the basics of low-scale supersymmetry. We also address some of recent proposals for physics beyond the Standard Model and the connection to…
The computational abilities of theories within the generalised probabilistic theory framework has been the subject of much recent study. Such investigations aim to gain an understanding of the possible connections between physical…