We show that, assuming GCH, if κ is a Ramsey or a strongly Ramsey cardinal and F is a class function on the regular cardinals having a closure point at κ and obeying the constraints of Easton’s theorem, namely, F (α) ≤ F (β) for α ≤ β and α < cf(F (α)), then there is a cofinality preserving forcing extension in which κ remains Ramsey or strongly Ramsey respectively and 2δ = F (δ) for every regu...

An extension of tree automata framework, called equational tree automata, is presented. This theory is useful to deal with unification modulo equational rewriting. In the manuscript, we demonstrate how equational tree automata can be applied to several realistic unification examples, e.g. including a security problem of network protocols. 1 Equational Tree Languages Unification modulo equationa...

A graph G is called super edge-magic if there exists a bijective function f : V (G) ∪ E (G) → {1, 2, . . . , |V (G)|+ |E (G)|} such that f (V (G)) = {1, 2, . . . , |V (G)|} and f (u) + f (v) + f (uv) is a constant for each uv ∈ E (G). A graph G with isolated vertices is called pseudo super edge-magic if there exists a bijective function f : V (G) → {1, 2, . . . , |V (G)|} such that the set {f (...

Suppose κ is λ-supercompact witnessed by an elementary embedding j : V →M with critical point κ, and further suppose that F is a function from the class of regular cardinals to the class of cardinals satisfying the requirements of Easton’s theorem: (1) ∀α α < cf(F (α)) and (2) α < β =⇒ F (α) ≤ F (β). In this article we address the question: assuming GCH, what additional assumptions are necessar...

We characterize strong F-regularity, a property associated with tight closure, in a large class of rings. A special case of our results is a workable criterion in complete intersection rings. Tight closure is a recently introduced operation linked to a variety of results in commutative algebra. Among the major results achieved with its use are a generalization of the Direct Summand Conjecture f...

An integral quadratic form f of m variables is said to be n-regular if f globally represents all quadratic forms of n variables that are represented by the genus of f . For any n ≥ 2, it is shown that up to equivalence, there are only finitely many primitive positive definite integral quadratic forms of n+3 variables that are n-regular. We also investigate similar finiteness results for almost ...

Let q be a power of an odd prime, and Fq[T ] be the ring of polynomials over a finite field Fq of q elements. A quadratic form f over Fq [T ] is said to be regular if f globally represents all polynomials that are represented by the genus of f . In this paper, we study definite regular quadratic forms over Fq [T ]. It is shown that for a fixed q, there are only finitely many equivalence classes...

We estimate a median of f(Xt) where f is a Lipschitz function, X is a Lévy process and t is an arbitrary time. This leads to concentration inequalities for f(Xt). In turn, corresponding fluctuation estimates are obtained under assumptions typically satisfied if the process has a regular behavior in small time and a, possibly different, regular behavior in large time.

A Noetherian integral domain R is said to be a splinter if it is a direct summand, as an R–module, of every module–finite extension ring, see [Ma]. In the case that R contains the field of rational numbers, it is easily seen that R is splinter if and only if it is a normal ring, but the notion is more subtle for rings of characteristic p > 0. It is known that F–regular rings of characteristic p...