On differences among elementary theories of finite levels of ershov hierarchies

Yue Yang,Liang Yu

DOI: https://doi.org/10.1007/11750321_73

2006-01-01

Abstract:We study the differences among elementary theories of finite levels of Ershov hierarchies. We also give a brief survey on the current state of this area. Some questions are raised.

What problem does this paper attempt to address?

Elementary differences among finite levels of the ershov hierarchy

YUE YANG,YU LIANG

2006-01-01

Abstract:We study the differences among finite levels of the Ershov hierarchies. We also give a brief survey on the current state of this area. Some questions are raised.
On Σ1-Structural Differences among Finite Levels of the Ershov Hierarchy

Yue Yang,Liang Yu

DOI: https://doi.org/10.2178/jsl/1164060453

2006-01-01

Journal of Symbolic Logic

Abstract:AbstractWe show that the structure of recursively enumerable degrees is not a Σ1-elementary substructure of , where (n > 1) is the structure of n-r.e. degrees in the Ershov hierarchy.
On σ1-structural differences among ershov hierarchies

YU LIANG

2006-01-01

Abstract:We show that the structure R of recursively enumerable degrees is not a Σ1-elementary substructure of Dn, where Dn (n > 1) is the structure of n-r.e. degrees in Ershov hierarchy.
TURING DEGREES AND THE ERSHOV HIERARCHY

Frank Stephan,Yue Yang,Liang Yu

DOI: https://doi.org/10.1142/9789814293020_0012

2009-01-01

Abstract:An n-r.e. set cart be defined as the symmetric difference of n recursively enumerable sets. The classes of these sets form a natural hierarchy which became a well-studied topic in recursion theory. In a series of ground-breaking papers, Ershov generalized this hierarchy to transfinite levels based on Kleene's notations of ordinals and this work lead to a fruitful study of these sets and their many-one and Turing degrees. The Ershov hierarchy is a natural measure of complexity of the sets below the halting problem. In this paper, we survey the early work by Ershov and others on this hierarchy and present the most fundamental results. We also provide some pointers to concurrent work in the field.
On the Hierarchy of Natural Theories

James Walsh

2024-02-16

Abstract:It is a well-known empirical phenomenon that natural axiomatic theories are pre-well-ordered by consistency strength. Without a precise mathematical definition of "natural," it is unclear how to study this phenomenon mathematically. We will discuss the significance of this problem and survey some strategies that have recently been developed for addressing it. These strategies emphasize the role of reflection principles and ordinal analysis and draw on analogies with research in recursion theory. We will conclude with a discussion of open problems and directions for future research.

Logic
Bounding Computably Enumerable Degrees in the Ershov Hierarchy

Angsheng Li,Guohua Wu,Yue Yang

DOI: https://doi.org/10.1016/j.apal.2005.10.004

IF: 0.776

2006-01-01

Annals of Pure and Applied Logic

Abstract:Lachlan observed that any nonzero d.c.e. degree bounds a nonzero c.e. degree. In this paper, we study the c.e. predecessors of d.c.e. degrees, and prove that given a nonzero d.c.e. degree a, there is a c.e. degree b below a and a high d.c.e. degree d > b such that b bounds all the c.e. degrees below d. This result gives a unified approach to some seemingly unrelated results. In particular, it has the following two known theorems as corollaries: (1) there is a low c.e. degree isolating a high d.c.e. degree [S. Ishmukhametov, G. Wu, Isolation and the high/low hierarchy, Arch. Math. Logic 41 (2002) 259-266]; (2) there is a high d.c.e. degree bounding no minimal pairs [C.T Chong, A. Li, Y Yang, The existence of high nonbounding degrees in the difference hierarchy, Ann. Pure Appl. Logic 138 (2006) 31-51]. (c) 2005 Elsevier B.V. All rights reserved.
A New Study on the Relationship Principle of Hierarchies in Complex System

GU Wentao,WANG Yihua,WU Jinxi

DOI: https://doi.org/10.3969/j.issn.1005-6408.2008.02.008

2008-01-01

Abstract:In this paper,the different definitions of hierarchy are discussed in three perspectives: the common meanings,the Dialectics of Nature,the system science.The meanings of hierarchy in systems science is analyzed and reduced to eight perspectives.Then,at the basis of briefly commenting on former studies on the relationship principle of systemic hierarchies,the relationship of hierarchies are analyzed from three perspectives: ①the change of entropy quantity at one hierarchy in a system and the law of the change of entropy quantity about the exchanging of matter,energy,information between one hierarchy of system and the relevant hierarchy of environment,②the relationship of hierarchies in one system,③the relationship of corresponding hierarchies between inner and outside the system.
Hierarchies in relative Picard-Lefschetz theory

Marko Berghoff,Erik Panzer

DOI: https://doi.org/10.48550/arXiv.2212.06661

2022-12-12

Mathematical Physics

Abstract:We prove a relative version of the Picard-Lefschetz theorem, describing the variation of relative homology groups $H_d(Y_t \setminus A_t,B_t\setminus A_t)$ in the fibers of a smooth fiber bundle $Y \to T$ of complex manifolds with $A\cup B \subset Y$ transverse. From this we derive the vanishing of certain iterated variations, a system of constraints dubbed "hierarchy". As applications, we rederive the known analytic structure of Aomoto polylogarithms and massive one loop Feynman integrals. Moreover, we introduce the "simple type" to prove hierarchy constraints in degenerate cases where the Picard-Lefschetz formula does not apply, e.g. the massless triangle or the ice cream cone Feynman diagram. We compare our findings with a "classical" hierarchy of iterated variations (from 1960's $S$-matrix theory) and show how our setup not only explains, but also refines the latter. In order to do so, we need to further resolve the geometry of Feynman motives: We boldly blow up what no one has blown up before.
Study on "ER-XIANG" Theory for System

Long-chang GAO,Fei XU

DOI: https://doi.org/10.3321/j.issn:1000-6788.2007.05.014

2007-01-01

Abstract:The authers separated arbitrary object (X) and its attribute space (X*) from conception, called it Er-Xiang system and discovered it is a most valuable realm and discovered the crux of parameter space in mathematical model. This is the theory including that tow-phase theory in physics and dual theory in mathematics and the law of the unity of opposite in philosophy and Yin-Yang theory in the East philosophy. So the Er-Xiang theory may be foundation theory of unifying above-mentioned set subjects. This article give only a theory frame, a theory remains to be established. Some questions are given in the tip of a article.
Degree Spectra of Equivalence Relations

Liang Yu

DOI: https://doi.org/10.1142/9789814678001_0013

2015-01-01

Abstract:Theorem 1.1 (Greenberg, Montalbán and Slaman, and). (1) For the countable structures of partial ordering language, there is a linear ordering structure M so that Spec∼=,h(M) = {y | y is not hyperarithmetic}. (2) Assume that ω1 is inaccessible. For any recursive language and any countable structure M of the language, if Spec∼=,L(M) contains all the nonconstructible reals, then it contains all the reals.
On Comparisons of Information Structures with Infinite States

M. Ali Khan,Haomiao Yu,Zhixiang Zhang

DOI: https://doi.org/10.1016/j.jet.2024.105841

IF: 1.79

2024-01-01

Journal of Economic Theory

Abstract:Blackwell's theorem on the comparison of information structures is by now sufficiently well-understood for a finite state space, but important gaps remain in the infinite case. While the equivalence of (i) sufficiency and (ii) more-informativeness is known, we present a comprehensive theory that establishes equivalences between these two orders (in both their original and almost all versions) and three additional prior-dependent criteria on general (Polish) state spaces. We consider (iii) Bayesian preference, (iv) convex dominance, and (v) mean-preserving-spread (dilation) for all priors as well as for a given full-support prior. We provide counterexamples to underscore the necessity of the assumptions underlying some of our findings, and offer a generalization of the Hirschleifer-Schlee theorem as an application.
Approximating approximate reasoning: Fuzzy sets and the Ershov hierarchy

Nikolay Bazhenov,Manat Mustafa,Sergei Ospichev,Luca San Mauro

DOI: https://doi.org/10.48550/arXiv.2107.10033

2021-07-21

Logic

Abstract:Computability theorists have introduced multiple hierarchies to measure the complexity of sets of natural numbers. The Kleene Hierarchy classifies sets according to the first-order complexity of their defining formulas. The Ershov Hierarchy classifies $\Delta^0_2$ sets with respect to the number of mistakes that are needed to approximate them. Biacino and Gerla extended the Kleene Hierarchy to the realm of fuzzy sets, whose membership functions range in a complete lattice $L$ (e.g., the real interval $[0; 1]_\mathbb{R}$). In this paper, we combine the Ershov Hierarchy and fuzzy set theory, by introducing and investigating the Fuzzy Ershov Hierarchy. In particular, we focus on the fuzzy $n$-c.e. sets which form the finite levels of this hierarchy. Intuitively, a fuzzy set is $n$-c.e. if its membership function can be approximated by changing monotonicity at most $n-1$ times. We prove that the Fuzzy Ershov Hierarchy does not collapse; that, in analogy with the classical case, each fuzzy $n$-c.e. set can be represented as a Boolean combination of fuzzy c.e. sets; but that, contrary to the classical case, the Fuzzy Ershov Hierarchy does not exhaust the class of all $\Delta^0_2$ fuzzy sets.
Three Levels of HAN Yu and LIU Zhong-yuan's Theories on the Relations between Literature and Doctrine

LUO Shu-hua

2012-01-01

Abstract:Theories of the relations between literature and doctrine is the core of HAN Yu and LIU Zhong-yuan's ancient literature theories.In this respect,people pay more attention to HAN Yu and LIU Zhong-yuan's theories of expressing opinions by literature.However,HAN Yu and LIU Zhong-yuan's theories on the relations between literature and doctrine include three levels: literature expresses doctrine;the foundation of literature is doctrine;doctrine is attributed to literature.It is because of the existence of the latter two levels that HAN Yu and LIU Zhong-yuan's theories can maintain a relative independence and become literary theories rather than theories on thoughts.Each one of the three levels is indispensable for the understanding of HAN Yu and LIU Zhong-yuan's theories on the relations between literature and doctrine.
On the strictness of the quantifier structure hierarchy in first-order logic

Yuguo He

DOI: https://doi.org/10.2168/LMCS-10%284%3A3%292014

2014-11-12

Abstract:We study a natural hierarchy in first-order logic, namely the quantifier structure hierarchy, which gives a systematic classification of first-order formulas based on structural quantifier resource. We define a variant of Ehrenfeucht-Fraisse games that characterizes quantifier classes and use it to prove that this hierarchy is strict over finite structures, using strategy compositions. Moreover, we prove that this hierarchy is strict even over ordered finite structures, which is interesting in the context of descriptive complexity.

Logic in Computer Science
Studies of Differences from the point of view of Nevanlinna Theory

Jianhua Zheng,Risto Korhonen

DOI: https://doi.org/10.1090/tran/8069

IF: 1.3529

2018-01-01

Transactions of the American Mathematical Society

Abstract:This paper consists of three parts. First, we give so far the best condition under which the shift invariance of the counting function, and of the characteristic of a subharmonic function, holds. Second, a difference analogue of logarithmic derivative of a δ-subharmonic function is established allowing the case of hyper-order equal to one and minimal hyper-type, which improves the condition of the hyper-order less than one. Finally, we make a careful discussion of a well-known difference equation and give out the possible forms of the equation under a growth condition for the solutions.
A hierarchical renormalization model: some properties and open questions

Xinxing Chen,Bernard Derrida,Yueyun Hu,Mikhail Lifshits,Zhan Shi

2017-01-01

Abstract:We consider a simple hierarchical renormalization model which was introduced in the study of depinning transition in presence of strong disorder, by Derrida and Retaux. Our interest is focused on the critical regime, for which we study the extinction probability, the first moment and the moment generating function. Several stronger assertions are stated as conjectures.
Some simple theories from a Boolean algebra point of view

M. Malliaris,S. Shelah

2023-07-05

Abstract:We find a strong separation between two natural families of simple rank one theories in Keisler's order: the theories $T_\mathfrak{m}$ reflecting graph sequences, which witness that Keisler's order has the maximum number of classes, and the theories $T_{n,k}$, which are the higher-order analogues of the triangle-free random graph. The proof involves building Boolean algebras and ultrafilters "by hand" to satisfy certain model theoretically meaningful chain conditions. This may be seen as advancing a line of work going back through Kunen's construction of good ultrafilters in ZFC using families of independent functions. We conclude with a theorem on flexible ultrafilters, and open questions.

Logic
Two (2+1)-Dimensional Hierarchies of Evolution Equations and Their Hamiltonian Structures

Yufeng Zhang,Jing Gao,Guangming Wang

DOI: https://doi.org/10.1016/j.amc.2014.06.012

IF: 4.397

2014-01-01

Applied Mathematics and Computation

Abstract:Two kinds of appropriate isospectral problems are introduced by using a Lie algebra. With the help of the TAH scheme, we generate two new (2+1)-dimensional hierarchies of evolution equations, whose Hamiltonian structures are derived from the trace identity proposed by Tu Guizhang, Andrushkiw R.I. and Huang X.C. Finally, we propose some problems worth thinking about.
The Bayesian Solution and Hierarchies of Beliefs

Qianfeng Tang

2010-01-01

Abstract:The Bayesian solution is a notion of correlated equilibrium proposed by Forges (1993), and hierarchies of beliefs over conditional beliefs are introduced by Ely and Peski (2006) in their study of interim rationalizability. We study the connection between the two concepts. We say that two type spaces are equivalent if they represent the same set of hierarchies of beliefs over conditional beliefs. We show that the correlation embedded in equivalent type spaces can be characterized by partially correlating devices, which send correlated signals to players in a belief invariant way. Since such correlating devices also implement the Bayesian solution, we establish that the Bayesian solution is invariant across equivalent type spaces.
The study of integrable hierarchies in terms of liouville correspondences

JING KANG,XIAOCHUAN LIU,PETER J. OLVER,QU CHANGZHENG

2020-01-01

Abstract:This paper contains a survey on Liouville correspondences between integrable hierarchies. A Liouville transformation between the corresponding isospectral problems induces a Liouville correspondence between their flows and Hamiltonian functionals. As prototypical examples, we construct Liouville correspondences for the modified Camassa-Holm, the Novikov, the Degasperis-Procesi, the two-component Camassa-Holm and the two-component Novikov (Geng-Xue) hierarchies. In addition, a new Liouville correspondence for a certain dual Schrödinger integrable hierarchy is presented.

On differences among elementary theories of finite levels of ershov hierarchies

Elementary differences among finite levels of the ershov hierarchy

On Σ1-Structural Differences among Finite Levels of the Ershov Hierarchy

On σ1-structural differences among ershov hierarchies

TURING DEGREES AND THE ERSHOV HIERARCHY

On the Hierarchy of Natural Theories

Bounding Computably Enumerable Degrees in the Ershov Hierarchy

A New Study on the Relationship Principle of Hierarchies in Complex System

Hierarchies in relative Picard-Lefschetz theory

Study on "ER-XIANG" Theory for System

Degree Spectra of Equivalence Relations

On Comparisons of Information Structures with Infinite States

Approximating approximate reasoning: Fuzzy sets and the Ershov hierarchy

Three Levels of HAN Yu and LIU Zhong-yuan's Theories on the Relations between Literature and Doctrine

On the strictness of the quantifier structure hierarchy in first-order logic

Studies of Differences from the point of view of Nevanlinna Theory

A hierarchical renormalization model: some properties and open questions

Some simple theories from a Boolean algebra point of view

Two (2+1)-Dimensional Hierarchies of Evolution Equations and Their Hamiltonian Structures

The Bayesian Solution and Hierarchies of Beliefs

The study of integrable hierarchies in terms of liouville correspondences