Related papers: Regular entailment relations
Regular variation is a continuous-parameter theory; we work in a general setting, containing the existing Karamata, Bojanic-Karamata/de Haan and Beurling theories as special cases. We give sequential versions of the main theorems, that is,…
Motivated by team semantics and existential second-order logic, we develop a model-theoretic framework for studying second-order objects such as sets and relations. We introduce a notion of abstract elementary team categories that…
We define the class of multivariate group entropies as a novel set of information - theoretical measures, which extends significantly the family of group entropies. We propose new examples related to the "super-exponential" universality…
We introduce the notion of filtration between topologies and study its stabilization properties. Descriptive set theoretic complexity plays a role in this study. Filtrations lead to natural transfinite sequences approximating a given…
Lorenzen's ``Algebraische und logistische Untersuchungen \"uber freie Verb\"ande'' appeared in 1951 in The Journal of Symbolic Logic. These ``Investigations'' have immediately been recognised as a landmark in the history of infinitary proof…
The paper deals with dynamics of expanding Lorenz maps, which appear in a natural way as Poincar\`e maps in geometric models of well-known Lorenz attractor. Using both analytical and symbolic approaches, we study connections between…
Einstein had to learn the mathematics of Lorentz transformations in order to complete his covariant formulation of Maxwell's equations. The mathematics of Lorentz transformations, called the Lorentz group, continues playing its important…
Normal ideals on regular uncountable cardinals are familiar objects. We investigate ideals that are pleasant--while a normal ideal is closed under arbitrary diagonal unions, a pleasant ideal is closed only under diagonal unions indexed by…
Special relativity, the symmetry breakdown in the electroweak standard model, and the dichotomy of the spacetime related transformations with the Lorentz group, on the one side, and the chargelike transformations with the hypercharge and…
In this paper we propose a definition of a recurrence relation homomorphism and illustrate our definition with a few examples. We then define the period of a k-th order of linear recurrence relation and deduce certain preliminary results…
We study generalized inverses on semigroups by means of Green's relations. We first define the notion of inverse along an element and study its properties. Then we show that the classical generalized inverses (group inverse, Drazin inverse…
We use representation theory to construct spaces of matrices of constant rank. These spaces are parametrized by the natural representation of the general linear group or the symplectic group. We present variants of this idea, with more…
The article $-$ part of a larger thesis which aims to give a detailed description of the generalisation to the category of groups with operators of the classical theory of semisimplicity for modules $-$ presents a straightforward…
The results of the renormalization group are commonly advertised as the existence of power law singularities near critical points. The classic predictions are often violated and logarithmic and exponential corrections are treated on a…
We study and describe possibilities for arities of elementary theories and of their expansions. Links for arities with respect to Boolean algebras, to disjoint unions and to compositions of structures are shown. The dynamics for arities of…
We discuss the phenomenon of preacceleration in the light of a method of successive approximations used to construct the physical order reduction of a large class of singular equations. A simple but illustrative physical example is analyzed…
We introduce a two-parameter modification of the cofinality invariant of ideals. This allows us to include the interaction of a pair of ideals in the study of base-like structures. We find the values (cardinal numbers or well-known cardinal…
After surveying classical results, we introduce a generalized notion of inference system to support structural recursion on non-well-founded data types. Besides axioms and inference rules with the usual meaning, a generalized inference…
We show that for integral operators of general form the norm bounds in Lorentz spaces imply certain norm bounds for the maximal function. As a consequence, the a.e. convergence for the integral operators on the Lorentz spaces follows from…
We develop a higher regularity theory for general quasilinear elliptic equations and systems in divergence form with random coefficients. The main result is a large-scale $L^\infty$-type estimate for the gradient of a solution. The estimate…