Related papers: Reverse mathematics, well-quasi-orders, and Noethe…
We show that every scheme/algebraic space/stack that is quasi-compact with quasi-finite diagonal can be approximated by a noetherian scheme/algebraic space/stack. More generally, we show that any stack which is etale-locally a global…
A quasi-order is a binary, reflexive and transitive relation. In the Journal of Pure and Applied Algebra 45 (1987), S.M. Fakhruddin introduced the notion of (totally) quasi-ordered fields and showed that each such field is either an ordered…
We prove that continuous reducibility is a well-quasi-order on the class of continuous functions between separable metrizable spaces with analytic zero-dimensional domain. To achieve this, we define scattered functions, which generalize…
We introduce the notion of \tau-like partial order, where \tau is one of the linear order types \omega, \omega*, \omega+\omega*, and \zeta. For example, being \omega-like means that every element has finitely many predecessors, while being…
Evidence and results suggesting that a Noether--like theorem for conservation laws in 1D RCA can be obtained. Unlike Noether's theorem, the connection here is to the maximal congruences rather than the automorphisms of the local dynamics.…
Noether's theorem, which connects continuous symmetries to exact conservation laws, remains one of the most fundamental principles in physics and dynamical systems. In this work, we draw a conceptual parallel between two paradigms: the…
Algorithmic decidability is established for two order-theoretic properties of downward closed subsets defined by finitely many obstructions in two infinite posets. The properties under consideration are: (a) being atomic, i.e. not being…
The Lagrangian proposed by York et al. and the covariant first order Lagrangian for General Relativity are introduced to deal with the (vacuum) gravitational field on a reference background. The two Lagrangians are compared and we show that…
We prove that Higman's lemma is strictly stronger for better quasi orders than for well quasi orders, within the framework of reverse mathematics. In fact, we show a stronger result: the infinite Ramsey theorem (for tuples of all lengths)…
The set of quasipositive surfaces is closed under incompressible inclusion. We prove that the induced order on fibre surfaces of positive braid links is almost a well-quasi-order. When restricting to quasipositive surfaces containing a…
Let $(\mathcal C,\otimes,1)$ be an abelian symmetric monoidal category satisfying certain conditions and let $X$ be a scheme over $(\mathcal C,\otimes,1)$ in the sense of To\"en and Vaqui\'{e}. In this paper we show that when $X$ is…
Grothendieck proved in EGA IV that if any integral scheme of finite type over a locally noetherian scheme X admits a desingularization, then X is quasi-excellent, and conjectured that the converse is probably true. We prove this conjecture…
Macaulay Duality, between quotients of a polynomial ring over a field, annihilated by powers of the variables, and finitely generated submodules of the ring's graded dual, is generalized over any Noetherian ring, and used to provide…
We show that quasi-projective relation algebras and directed cylindric algebras are equivalent categorialy. We work out a Godels second incompleteness theorem for finite varibale fragments of first order logic. We show that distinct set…
The notion of a noncommutative quasi-resolution is introduced for a noncommutative noetherian algebra with singularities, even for a non-Cohen-Macaulay algebra. If A is a commutative normal Gorenstein domain, then anoncommutative…
We study differential systems for which it is possible to establish a correspondence between symmetries and conservation laws based on Noether identity: quasi-Noether systems. We analyze Noether identity and show that it leads to the same…
In recent work of Monthoux and Pines~[1] and also in Rice et {\sl al.}'s work~[2], quasi-averages like $\langle c_{k \uparrow} c_{- k \downarrow} \rangle$ were considered even in the case of a dimension less or equal two. But it is well…
It is introduced the concept of a quasi-king space, which is a natural generalisation of a king space. In the realm of suborderable spaces, king spaces are precisely the compact spaces, so are the quasi-king spaces. In contrast, quasi-king…
Quasi-Noether differential systems are more general than variational systems and are quite common in mathematical physics. They include practically all differential systems of interest, at least those that have conservation laws. In this…
In [arXiv:1006.4939] the enumeration order reducibility is defined on natural numbers. For a c.e. set A, [A] denoted the class of all subsets of natural numbers which are co-order with A. In definition 5 we redefine co-ordering for rational…