Related papers: Non-adic formal schemes
We propose a suitable substitute for the classical Grothendieck ring of an algebraically closed field, in which any quasi-projective scheme is represented, while maintaining its non-reduced structure. This yields a more subtle invariant,…
We explore the rational, formal and non-formal criteria of consistency, non-triviality and redundancy in the mathematical research now a days. We develop a paradigmatic discussion by analysing the different conceptions of those criteria,…
The notion of concept has been studied for centuries, by philosophers, linguists, cognitive scientists, and researchers in artificial intelligence (Margolis & Laurence, 1999). There is a large literature on formal, mathematical models of…
Previous works by Gor\'e, Postniece and Tiu have provided sound and cut-free complete proof systems for modal logics extended with path axioms using the formalism of nested sequent. Our aim is to provide (i) a constructive cut-elimination…
Formal analysis to ensure adherence of software to defined architectural constraints is not yet broadly used within software development, due to the effort involved in defining formal architecture models. Within this paper, we outline…
The problem of separating structured information representing phenomena of differing natures is considered. A structure is assumed to be independent of the others if can be represented in a complementary subspace. When the concomitant…
Similar to linear spaces, many examples of quasilinear spaces have a notion of multiplication of the elements. To characterising these examples, in the present paper we generalize the notion of quasilinear spaces and introduce…
The main purpose of this paper is to describe various phenomena and certain constructions arising in the process of studying derived noncommutative schemes. Derived noncommutative schemes are defined as differential graded categories of a…
We describe the structure of diffeological bundle of non formal classical pseudo-differential operators over formal ones, and its structure group. For this, we give few results on diffeological principal bundles with (a priori) no local…
We introduce a simplified framework for ord-transitive models and Shelah's non elementary proper (nep) theory. We also introduce a new construction for the countable support nep iteration.
Building on earlier work, we further develop a formalism based on the mathematical theory of frames that defines a set of possible phase-space or quasi-probability representations of finite-dimensional quantum systems. We prove that an…
This paper provides a description of an algebraic setting for the Lagrangian formalism over graded algebras and is intended as the necessary first step towards the noncommutative C-spectral sequence (variational bicomplex). A noncommutative…
Discussed is mechanics of objects with internal degrees of freedom in generally non-Euclidean spaces. Geometric peculiarities of the model are investigated detailly. Discussed are also possible mechanical applications, e.g., in dynamics of…
On the base of Lie algebraic and differential geometry methods, a wide class of multidimensional nonlinear integrable systems is obtained, and the integration scheme for such equations is proposed.
In constructive mathematics, several nonequivalent notions of finiteness exist. In this paper, we continue the study of Noetherian sets in the dependently typed setting of the Agda programming language. We want to say that a set is…
The main aim of this work is to present the interpretation of the Ising type models as a kind of field theory in the framework of noncommutative geometry. We present the method and construct sample models of field theory on discrete spaces…
Since the subject of noncommutative geometry is now entering maturity, we felt there is need for presentation of the material at an undergraduate course level. Our review is a zero order approximation to this project. Thus, the present…
In this paper, we establish the theory of nonlinear rough paths. We give the definition of nonlinear rough paths, and develop the integrals. Then, we study differential equations driven by nonlinear rough paths. Afterwards, we compare the…
In this paper, the structured pseudospectrum of non-archimedean matrices and structured pseudospectrum of non-archimedean matrix pencils are introduced. Many results are proved about them and we give a few examples.
It is demonstrated that the so-called "unavoidable quantum anomalies" can be avoided in the farmework of a special non-linear quantization scheme. A simple example is discussed in detail.