相关论文: A note on canonical functions

The canonical extension of a lattice is in an essential way a two-sided completion. Domain theory, on the contrary, is primarily concerned with one-sided completeness. In this paper, we show two things. Firstly, that the canonical extension…

An alternative proof of the duality of generalized Lie bialgebroid is given and proved a canonical Jacobi structure can be defined on the base of it. We also introduce the notion of morphism between generalized Lie bialgebroids and proved…

We prove that, for certain extensions of valued fields which admit a sensible theory of ramification groups, there exist canonical towers that correspond to the break-points of their Herbrand function. In particular, each of the…

In this note, we describe a family of particular algebraic, and nonquadratic, power series over an arbitrary finite field of characteristic 2, having a continued fraction expansion with all partial quotients of degree one. The main purpose…

In this note we show that $k$-convex functions on $\Bbb R^n$ are twice differentiable almost everywhere for every positive integer $k>n/2$. This generalizes the classical Alexsandrov's theorem for convex functions.

In this work we present some arithmetic properties of families of abelian $p$--extensions of global function fields, among which are their generators and their type of ramification and decomposition.

Starting from a stationary set of supercompact cardinals we find a generic extension in which the tree property holds at every regular cardinal between $\aleph_2$ and $\aleph_{\omega^2}$.

In this paper we demonstrate that the class of basic feasible functionals has recursion theoretic properties which naturally generalize the corresponding properties of the class of feasible functions. We also improve the Kapron - Cook…

We show that the coefficients of rational 2-functions are contained in an abelian number field. More precisely, we show that the poles of such functions are poles of order one and given by roots of unity and rational residue.

Canonical extension of finitary ordered structures such as lattices, posets, proximity lattices, etc., is a certain completion which entirely describes the topological dual of the ordered structure and it does so in a purely algebraic and…

A unifying scheme of classical special functions of hypergeometric type obeying orthogonality or biorthogonality relations is described. It expands the Askey scheme of classical orthogonal polynomials and its $q$-analogue based on the…

We define the property of Pi_2-compactness of a statement phi of set theory, meaning roughly that the hard core of the impact of phi on combinatorics of aleph_1 can be isolated in a canonical model for the statement phi. We show that the…

Let $X, Y$ be two complex manifolds, let $D\subset X,$ $ G\subset Y$ be two nonempty open sets, let $A$ (resp. $B$) be an open subset of $\partial D$ (resp. $\partial G$), and let $W$ be the 2-fold cross $((D\cup A)\times B)\cup…

We classify all the surfaces of general type whose canonical map is composed with a pencil if they are the quotient of the diagonal action by an Abelian group acting over the product of two curves. As far as we know all the previous…

Given a group $G$, we define suitable 2-categorical structures on the class of all small categories with $G$-actions and on the class of all small $G$-graded categories, and prove that 2-categorical extensions of the orbit category…

In the Euclidean setting, the well-known Alexandrov theorem states that convex functions are twice differentiable almost everywhere. In this note, we extend this theorem to rank-one convex functions. Our approach is novel in that it draws…

A class of second-order differential equations commonly arising in physics applications are considered, and their explicit hypergeometric solutions are provided. Further, the relationship with the Generalized and Universal Associated…

We construct a canonical extension for strong proximity lattices in order to give an algebraic, point-free description of a finitary duality for stably compact spaces. In this setting not only morphisms, but also objects may have distinct…

In this paper, viewing the symplectic linear group as a subset of the Lagrangian Grassmannian we extend the mean index to the complement of a codimension-two subset of the Grassmannian. This extension retains many of the desirable…

Abstrct: In this note, by considering fractionally linear functions over a finite field and consequently developing an abstract sequence, we study some of its properties.