Related papers: Reflection theorems for number rings
This book is a rigorous and conceptually oriented introduction to ring theory. The emphasis is on structural understanding rather than encyclopedic coverage: rings are studied through ideals, homomorphisms, quotients, and universal…
We prove basic facts about reflexivity in derived categories over noetherian schemes; and about related notions such as semidualizing complexes, invertible complexes, and Gorenstein-perfect maps. Also, we study a notion of rigidity with…
Let $R$ be a ring and $\sigma$ an endomorphism of $R$. In this note, we study skew polynomial rings and skew power series rings over idempotent reflexive rings and abelian rings. Also, we introduce the concept of right (resp., left)…
In this article, intended for the Handbook of Recursion Theory, we survey recursion theory on the ordinal numbers, with sections devoted to $\alpha$-recursion theory, $\beta$-recursion theory and the study of the admissibility spectrum.
This paper presents investigations on the generalized laws of refraction and reflection for metasurfaces made of diffractive elements. It introduces a phenomenological model that reproduces all the features of the experiments dedicated to…
We develop a behavioural theory of reflective sequential algorithms (RSAs), i.e. sequential algorithms that can modify their own behaviour. The theory comprises a set of language-independent postulates defining the class of RSAs, an…
This paper was withdrawn by arXiv administrators. It is an erroneous duplicate submission of math.NA/0405095.
This article gives a summary of the author's Ph.D. dissertation (arXiv:1609.06297). In addition to an overview of notions and results, it also provides sketches of various proofs and simplified presentations of certain abstract results of…
This paper has been withdrawn
We study the ring extensions R \subseteq T having the same set of prime ideals provided Nil(R) is a divided prime ideal. Some conditions are given under which no such T exist properly containing R. Using idealization theory, the examples…
We propose a proof of the Lagrange Interpolation Formula based on the Chinese Remainder Theorem for arbitrary rings. Even such relationships are known, we think that our viewpoint is worth being published.
There is no infinite sequence of $\Pi^1_1$-sound extensions of $\mathsf{ACA}_0$ each of which proves $\Pi^1_1$-reflection of the next. This engenders a well-founded ``reflection ranking'' of $\Pi^1_1$-sound extensions of $\mathsf{ACA}_0$.…
We prove that reflection of the coloring number of graphs is consistent with non-reflection of the chromatic number. Moreover, it is proved that incompactness for the chromatic number of graphs (with arbitrarily large gaps) is compatible…
In this paper we present a systematic study of the reflexivity properties of homologically finite complexes with respect to semidualizing complexes in the setting of nonlocal rings. One primary focus is the descent of these properties over…
The reflections caused by common semi-reflectors, such as glass windows, can impact the performance of computer vision algorithms. State-of-the-art methods can remove reflections on synthetic data and in controlled scenarios. However, they…
In this paper, we introduce a family of topological spaces that captures the existence of preservation theorems. The structure of those spaces allows us to study the relativisation of preservation theorems under suitable definitions of…
An emended and improved version of the present paper has been archived in math-ph/0505057, and a preliminary account of its content has been published in Phys.Rev.Lett. 92, 60601, (2004). Moreover, in order to prove the relevance of…
Chevalley's theorem and it's converse, the Sheppard-Todd theorem, assert that finite reflection groups are distinguished by the fact that the ring of invariant polynomials is freely generated. We show that in the Euclidean case, a weaker…
This paper has been withdrawn as it has been superseded by arXiv:1103.0251
This paper will develop a single framework for unifying, simplifying and extending our prior results about axiom systems that retain a partial knowledge of their own consistency, via an axiomatic declaration of self-consistency. Its perhaps…