Related papers: Orders on sets of conformal classes applied to Bar…

Every computable function has to be continuous. To develop computability theory of discontinuous functions, we study low levels of the arithmetical hierarchy of nonuniformly computable functions on Baire space. First, we classify…

We show that if we enrich first order logic by allowing quantification over isomorphisms between definable ordered fields the resulting logic, L(Q_{Of}), is fully compact. In this logic, we can give standard compactness proofs of various…

We show that a linearly ordered topological space is initially \lambda-compact if and only if it is \lambda-bounded, that is, every set of cardinality $\leq \lambda$ has compact closure. As a consequence, every product of initially…

We investigate an extension of ZFC set theory (in an extended language) that stipulates the existence of a proper class of indiscernibles over the universe. One of the main results of the paper shows that the purely set-theoretical…

In this paper we put forward the definition of particular subsets on a unital C*-algebra, that we call isocones, and which reduce in the commutative case to the set of continuous non-decreasing functions with real values for a partial order…

We define a new class of completions of locally symmetric varieties of type IV which interpolates between the Baily-Borel compactification and Mumford's toric compactifications. An arithmetic arrangement in a locally symmetric variety of…

The equivalence problem for second order ODEs given modulo point transformations is solved in full analogy with the equivalence problem of nondegenerate 3-dimensional CR structures. This approach enables an analog of the Feffereman metrics…

Following Laczkovich we consider the partially ordered set $\iB_1(\RR)$ of Baire class 1 functions endowed with the pointwise order, and investigate the order types of the linearly ordered subsets. Answering a question of Komj\'ath and…

We study the Cauchy problem for multi-dimensional compressible radiation hydrodynamics equations with vacuum. First, we present some sufficient conditions on the blow-up of smooth solutions in multi-dimensional space. Then, we obtain the…

We investigate cubic-in-spin effects for inspiralling compact objects binaries, both in the dynamics and the energy flux emitted in gravitational waves, at the leading post-Newtonian order. We use a Lagrangian formalism to implement…

We investigate the behavior of the solutions of a class of certain strictly hyperbolic equations defined on $[0,T]\times \R^n$ in relation to a class of metrics on the phase space. In particular, we study the global regularity and decay…

Assuming a lower bound on the dimension, we prove a long standing conjecture concerning the classification of global solutions of the obstacle problem with unbounded coincidence sets.

We deal with two natural examples of almost-elementary classes: the class of all Banach spaces (over R or C) and the class of all groups. We show both of these classes do not have the strict order property, and find the exact place of each…

In this paper, the Pazy's Fixed Point Theorems of monotone $\alpha-$nonexpansive mapping $T$ are proved in a uniformly convex Banach space $E$ with the partial order "$\leq$". That is, we obtain that the fixed point set of $T$ with respect…

We study the question of local and global uniqueness of completions, based on null geodesics, of Lorentzian manifolds. We show local uniqueness of such boundary extensions. We give a necessary and sufficient condition for existence of…

The classical theory of regularity of embeddings of compact convex sets was developed in the 1970s, exclusively in the real case, and even there it does not appear to have been stated in its simplest form. We begin by revisiting this…

We study the Cauchy problem for a multidimensional scalar conservation law with merely continuous flux vector in the class of Besicovitch almost periodic functions. The existence and uniqueness of entropy solutions are established. We…

A compactness framework is established for approximate solutions to subsonic-sonic flows governed by the steady full Euler equations for compressible fluids in arbitrary dimension. The existing compactness frameworks for the two-dimensional…

Local superlinear convergence of the semismooth Newton method usually necessitates assumptions on the uniform invertibility of the utilized, generalized Jacobian matrices, such as, e.g., BD- or CD-regularity. For certain composite-type…

In this paper we study the energy function associated to fourth order equations of critical growth on smooth compact conformally flat manifolds of dimension greater or equal than 5.