Related papers: Residually Constructible Extensions
This work is motivated by the problem of finding the limit of the applicability of the first incompleteness theorem ($\sf G1$). A natural question is: can we find a minimal theory for which $\sf G1$ holds? We examine the Turing degree…
Let $E$ be a module of projective dimension one over $R=k[x_1,\ldots,x_d]$. If $E$ is presented by a matrix $\varphi$ with linear entries and the number of generators of $E$ is bounded locally up to codimension $d-1$, the Rees ring…
The small object argument is a transfinite construction which, starting from a set of maps in a category, generates a weak factorisation system on that category. As useful as it is, the small object argument has some problematic aspects: it…
\'Etant donn\'e un anneau de valuation $V$, de corps r\'esiduel $F$ et de groupe des valeurs $\Gamma$, on donne une condition suffisante pour qu'un anneau local dominant $V$ soit un anneau de valuation de groupe $\Gamma$. Lorsque $V$…
We propose the residual expansion (RE) algorithm: a global (or near-global) optimization method for nonconvex least squares problems. Unlike most existing nonconvex optimization techniques, the RE algorithm is not based on either stochastic…
Local conditions on boundaries of $C^\infty$ Levi-flat hypersurfaces, in case the boundary is a generic submanifold, are studied. For nontrivial real analytic boundaries we get an extension and uniqueness result, which forces the…
Let X be a smooth variety over a field of positive characteristic, and let E be an overconvergent isocrystal on X. We establish a criterion for the existence of a "canonical logarithmic extension" of E to a good compactification of X. In…
One may formulate the dependent product types of Martin-L\"of type theory either in terms of abstraction and application operators like those for the lambda-calculus; or in terms of introduction and elimination rules like those for the…
Additive CA on a cylinder of size $n$ can be represented by 01-string $V$ of length $n$ which is its rule. We study a problem: a class $S$ of rules given, for any $V\in S$ describe all sizes $n', n'>n,$ of cylinders such that extension of…
This paper investigates coherent-like conditions and related properties that a trivial extension might inherit from the ground ring over some classes of modules. It captures previous results dealing primarily with coherence, and also…
A Chern-Weil construction for extensions of Lie-Rinehart algebras is introduced. This generalizes the classical Chern-Weil construction in differential geometry and yields characteristic classes for arbitrary extensions of Lie-Rinehart…
Every o-minimal expansion R-tilde of the real field has an o-minimal expansion P(R-tilde) in which the solutions to Pfaffian equations with definable C^1 coefficients are definable.
In this short note we present an elementary matrix-constructive proof of Quillen-Suslin theorem for Ore extensions: If $K$ is a division ring and $A:=K[x;\sigma,\delta]$ is an Ore extension, with $\sigma$ bijective, then every finitely…
We call a function "constructible" if it has a globally subanalytic domain and can be expressed as a sum of products of globally subanalytic functions and logarithms of positively-valued globally subanalytic functions. Our main theorem…
We show that one can use model categories to construct rational orthogonal calculus. That is, given a continuous functor from vector spaces to based spaces one can construct a tower of approximations to this functor depending only on the…
Weighted recursive trees are built by adding successively vertices with predetermined weights to a tree: each new vertex is attached to a parent chosen randomly proportionally to its weight. Under some assumptions on the sequence of…
We study non-selfadjoint operator algebras that can be entirely understood via their finite-dimensional representations. In contrast with the elementary matricial description of finite-dimensional $\mathrm{C}^*$-algebras, in the…
Let C be a finite dimensional algebra of global dimension at most two. A partial relation extension is any trivial extension of C by a direct summand of its relation C-C-bimodule. When C is a tilted algebra, this construction provides an…
In an extended abstract Ressayre considered real closed exponential fields and integer parts that respect the exponential function. He outlined a proof that every real closed exponential field has an exponential integer part. In the present…
In this paper, we will extend the falling and rising factorial transforms \cite{ref. 1} which in this case every arbitrary function can be applied. Then, the properties of these transforms will be investigated and some corollaries will be…