scholarly journals An inside/outside Ramsey theorem and recursion theory

2021 ◽  
Author(s):  
Marta Fiori-Carones ◽  
Paul Shafer ◽  
Giovanni Soldà
Keyword(s):  
Recursion Theory ◽  
Ramsey Theorem

scholarly journals RSPCN: Super-Resolution of Digital Elevation Model Based on Recursive Sub-Pixel Convolutional Neural Networks

2021 ◽  
Vol 10 (8) ◽  
pp. 501
Author(s):  
Ruichen Zhang ◽  
Shaofeng Bian ◽  
Houpu Li
Keyword(s):  
Neural Networks ◽  
Digital Elevation Model ◽  
Convolutional Neural Networks ◽  
Adaptive Learning ◽  
Nearest Neighbor ◽  
Super Resolution ◽  
Recursion Theory ◽  
Research Issues ◽  
Digital Elevation ◽  
Elevation Model

The digital elevation model (DEM) is known as one kind of the most significant fundamental geographical data models. The theory, method and application of DEM are hot research issues in geography, especially in geomorphology, hydrology, soil and other related fields. In this paper, we improve the efficient sub-pixel convolutional neural networks (ESPCN) and propose recursive sub-pixel convolutional neural networks (RSPCN) to generate higher-resolution DEMs (HRDEMs) from low-resolution DEMs (LRDEMs). Firstly, the structure of RSPCN is described in detail based on recursion theory. This paper explores the effects of different training datasets, with the self-adaptive learning rate Adam algorithm optimizing the model. Furthermore, the adding-“zero” boundary method is introduced into the RSPCN algorithm as a data preprocessing method, which improves the RSPCN method’s accuracy and convergence. Extensive experiments are conducted to train the method till optimality. Finally, comparisons are made with other traditional interpolation methods, such as bicubic, nearest-neighbor and bilinear methods. The results show that our method has obvious improvements in both accuracy and robustness and further illustrate the feasibility of deep learning methods in the DEM data processing area.

scholarly journals FINDING THE LIMIT OF INCOMPLETENESS I

2020 ◽  
Vol 26 (3-4) ◽  
pp. 268-286
Author(s):  
YONG CHENG
Keyword(s):  
Model Theory ◽  
Recursion Theory ◽  
Minimal Degree ◽  
Incompleteness Theorem ◽  
Turing Degree ◽  
Turing Reducibility ◽  
Inseparable Pair

AbstractIn this paper, we examine the limit of applicability of Gödel’s first incompleteness theorem ($\textsf {G1}$ for short). We first define the notion “$\textsf {G1}$ holds for the theory $T$”. This paper is motivated by the following question: can we find a theory with a minimal degree of interpretation for which $\textsf {G1}$ holds. To approach this question, we first examine the following question: is there a theory T such that Robinson’s $\mathbf {R}$ interprets T but T does not interpret $\mathbf {R}$ (i.e., T is weaker than $\mathbf {R}$ w.r.t. interpretation) and $\textsf {G1}$ holds for T? In this paper, we show that there are many such theories based on Jeřábek’s work using some model theory. We prove that for each recursively inseparable pair $\langle A,B\rangle $, we can construct a r.e. theory $U_{\langle A,B\rangle }$ such that $U_{\langle A,B\rangle }$ is weaker than $\mathbf {R}$ w.r.t. interpretation and $\textsf {G1}$ holds for $U_{\langle A,B\rangle }$. As a corollary, we answer a question from Albert Visser. Moreover, we prove that for any Turing degree $\mathbf {0}< \mathbf {d}<\mathbf {0}^{\prime }$, there is a theory T with Turing degree $\mathbf {d}$ such that $\textsf {G1}$ holds for T and T is weaker than $\mathbf {R}$ w.r.t. Turing reducibility. As a corollary, based on Shoenfield’s work using some recursion theory, we show that there is no theory with a minimal degree of Turing reducibility for which $\textsf {G1}$ holds.

α-degrees of α-theories

1972 ◽  
Vol 37 (4) ◽  
pp. 677-682 ◽  
Author(s):  
George Metakides
Keyword(s):  
Initial Segment ◽  
Recursion Theory ◽  
The Other ◽  
Infinite Length ◽  
Infinitary Logic ◽  
Admissible Set ◽  
Recursively Enumerable ◽  
Limit Ordinal ◽  
The Subject ◽  
Further Development

Let α be a limit ordinal with the property that any “recursive” function whose domain is a proper initial segment of α has its range bounded by α. α is then called admissible (in a sense to be made precise later) and a recursion theory can be developed on it (α-recursion theory) by providing the generalized notions of α-recursively enumerable, α-recursive and α-finite. Takeuti [12] was the first to study recursive functions of ordinals, the subject owing its further development to Kripke [7], Platek [8], Kreisel [6], and Sacks [9].Infinitary logic on the other hand (i.e., the study of languages which allow expressions of infinite length) was quite extensively studied by Scott [11], Tarski, Kreisel, Karp [5] and others. Kreisel suggested in the late '50's that these languages (even which allows countable expressions but only finite quantification) were too large and that one should only allow expressions which are, in some generalized sense, finite. This made the application of generalized recursion theory to the logic of infinitary languages appear natural. In 1967 Barwise [1] was the first to present a complete formalization of the restriction of to an admissible fragment (A a countable admissible set) and to prove that completeness and compactness hold for it. [2] is an excellent reference for a detailed exposition of admissible languages.

Friedberg Numbering in Fragments of Peano Arithmetic and α-Recursion Theory

2013 ◽  
Vol 78 (4) ◽  
pp. 1135-1163 ◽  
Author(s):  
Wei Li
Keyword(s):  
Recursion Theory ◽  
Peano Arithmetic ◽  
Fragments Of Peano Arithmetic

AbstractIn this paper, we investigate the existence of a Friedberg numbering in fragments of Peano Arithmetic and initial segments of Gödel's constructible hierarchy Lα, where α is Σ1 admissible. We prove that(1) Over P− + BΣ2, the existence of a Friedberg numbering is equivalent to IΣ2, and(2) For Lα, there is a Friedberg numbering if and only if the tame Σ2 projectum of α equals the Σ2 cofinality of α.

scholarly journals A blend of methods of recursion theory and topology

2003 ◽  
Vol 124 (1-3) ◽  
pp. 141-178 ◽  
Author(s):  
Iraj Kalantari ◽  
Larry Welch
Keyword(s):  
Recursion Theory ◽  
And Topology

scholarly journals Type 2 recursion theory

1985 ◽  
Vol 38 ◽  
pp. 17-33 ◽  
Author(s):  
Klaus Weihrauch
Keyword(s):  
Recursion Theory

J. C. Shepherdson. Algorithmic procedures, generalized Turing algorithms, and elementary recursion theory. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 285–308. - J. C. Shepherdson. Computational complexity of real functions. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 309–315. - A. J. Kfoury. The pebble game and logics of programs. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 317–329. - R. Statman. Equality between functionals revisited. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 331–338. - Robert E. Byerly. Mathematical aspects of recursive function theory. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 339–352.

1990 ◽  
Vol 55 (2) ◽  
pp. 876-878
Author(s):  
J. V. Tucker
Keyword(s):  
New York ◽  
Computational Complexity ◽  
Recursive Function ◽  
Function Theory ◽  
Recursion Theory ◽  
Foundations Of Mathematics ◽  
Real Functions ◽  
Pebble Game ◽  
Logics Of Programs

scholarly journals A Canonical Ramsey Theorem for Exactly m-Coloured Complete Subgraphs

2013 ◽  
Vol 23 (1) ◽  
pp. 102-115 ◽  
Author(s):  
TEERADEJ KITTIPASSORN ◽  
BHARGAV P. NARAYANAN
Keyword(s):  
Natural Number ◽  
Complete Graph ◽  
Infinite Subset ◽  
Complete Subgraph ◽  
Ramsey Theorem ◽  
Distinguished Vertex ◽  
Edge Colourings ◽  
Distinct Colour

Given an edge colouring of a graph with a set of m colours, we say that the graph is exactly m-coloured if each of the colours is used. We consider edge colourings of the complete graph on $\mathbb{N}$ with infinitely many colours and show that either one can find an exactly m-coloured complete subgraph for every natural number m or there exists an infinite subset X ⊂ $\mathbb{N}$ coloured in one of two canonical ways: either the colouring is injective on X or there exists a distinguished vertex v in X such that X\{v} is 1-coloured and each edge between v and X\{v} has a distinct colour (all different to the colour used on X\{v}). This answers a question posed by Stacey and Weidl in 1999. The techniques that we develop also enable us to resolve some further questions about finding exactly m-coloured complete subgraphs in colourings with finitely many colours.

Sign in / Sign up

Export Citation Format

Share Document