On generalized computational complexity

1977 ◽  
Vol 42 (1) ◽  
pp. 47-58 ◽  
Author(s):  
Barry E. Jacobs
Keyword(s):  
Computational Complexity ◽  
Set Theory ◽  
Initial Segment ◽  
Ordinal Number ◽  
Recursion Theory ◽  
Universal Function ◽  
Closure Properties ◽  
Numbering Scheme ◽  
Ordinal Numbers ◽  
Recursion Theorem

If one regards an ordinal number as a generalization of a counting number, then it is natural to begin thinking in terms of computations on sets of ordinal numbers. This is precisely what Takeuti [22] had in mind when he initiated the study of recursive functions on ordinals. Kreisel and Sacks [9] too developed an ordinal recursion theory, called metarecursion theory, which specialized to the initial segment of the ordinals bounded by(the first nonconstructive ordinal).The notion of admissibility was introduced by Kripke [11] and Platek [14] and served to generalize metarecursion theory. Kripke called ordinal α admissible if it satisfied certain closure properties of infinitary computations. It was shown that admissibility could be equivalently formulated in terms of the replacement schema of ZF set theory and that α =is an admissible ordinal. The study of a recursion theory on an initial segment of the ordinals bounded by some arbitrary admissible α became known as α-recursion theory.Kripke [10] employed a Gödel numbering scheme to perform an arithmetiza-tion of α -recursion theory and created an analogue to Kleene'sT-predicate (cf. [8]) of ordinary recursion theory (o.r.t.). TheT-predicate then served as the basis for showing that analogues of the major results of unrelativized o.r.t. held in α-recursion theory; namely, the α-Enumeration Theorem,T Theorem, α-Recursion Theorem, and α-Universal Function Theorem.

Type-raising operations on cardinal and ordinal numbers in Quine's “New foundations”

1973 ◽  
Vol 38 (1) ◽  
pp. 59-68 ◽  
Author(s):  
C. Ward Henson
Keyword(s):  
Set Theory ◽  
Initial Segment ◽  
Initial Section ◽  
Ordinal Numbers ◽  
Cardinal Numbers ◽  
Basic Facts ◽  
Image Position ◽  
The Axiom Of Choice ◽  
Increasing Function ◽  
Standard Operations

In this paper we develop certain methods of proof in Quine's set theory NF which have no counterparts elsewhere. These ideas were first used by Specker [5] in his disproof of the Axiom of Choice in NF. They depend on the properties of two related operations, T(n) on cardinal numbers and U(α) on ordinal numbers, which are defined by the equationsfor each set x and well ordering R. (Here and below we use Rosser's notation [3].) The definitions insure that the formulas T(x) = y and U(x) = y are stratified when y is assigned a type one higher than x. The importance of T and U stems from the following facts: (i) each of T and U is a 1-1, order preserving operation from its domain onto a proper initial section of its domain; (ii) Tand U commute with most of the standard operations on cardinal and ordinal numbers.These basic facts are discussed in §1. In §2 we prove in NF that the exponential function 2n is not 1-1. Indeed, there exist cardinal numbers m and n which satisfyIn §3 we prove the following technical result, which has many important applications. Suppose f is an increasing function from an initial segment S of the set NO of ordinal numbers into NO and that f commutes with U.

Inner Models and Large Cardinals

1995 ◽  
Vol 1 (4) ◽  
pp. 393-407 ◽  
Author(s):  
Ronald Jensen
Keyword(s):  
Set Theory ◽  
Cardinal Number ◽  
Ordinal Number ◽  
Infinite Cardinal ◽  
Recursive Definition ◽  
Von Neumann ◽  
Ordinal Numbers ◽  
Kurt Gödel ◽  
Uncountable Cardinal ◽  
Image Position

In this paper, we sketch the development of two important themes of modern set theory, both of which can be regarded as growing out of work of Kurt Gödel. We begin with a review of some basic concepts and conventions of set theory. §0. The ordinal numbers were Georg Cantor's deepest contribution to mathematics. After the natural numbers 0, 1, …, n, … comes the first infinite ordinal number ω, followed by ω + 1, ω + 2, …, ω + ω, … and so forth. ω is the first limit ordinal as it is neither 0 nor a successor ordinal. We follow the von Neumann convention, according to which each ordinal number α is identified with the set {ν ∣ ν α} of its predecessors. The ∈ relation on ordinals thus coincides with <. We have 0 = ∅ and α + 1 = α ∪ {α}. According to the usual set-theoretic conventions, ω is identified with the first infinite cardinal ℵ0, similarly for the first uncountable ordinal number ω1 and the first uncountable cardinal number ℵ1, etc. We thus arrive at the following picture: The von Neumann hierarchy divides the class V of all sets into a hierarchy of sets Vα indexed by the ordinal numbers. The recursive definition reads: (where } is the power set of x); Vλ = ∪v<λVv for limit ordinals λ. We can represent this hierarchy by the following picture.

Interpretations of set theory and ordinal number theory

1967 ◽  
Vol 32 (2) ◽  
pp. 145-161
Author(s):  
Mariko Yasugi
Keyword(s):  
Number Theory ◽  
Set Theory ◽  
Ordinal Number ◽  
Recursive Relation ◽  
Ordinal Numbers ◽  
Primitive Recursive

In [3], Takeuti developed the theory of ordinal numbers (ON) and constructed a model of Zermelo-Fraenkel set theory (ZF), using the primitive recursive relation ∈ of ordinal numbers. He proved:(1) If A is a ZF-provable formula, then its interpretation A0 in ON is ON-provable;(2) Let B be a sentence of ordinal number theory. Then B is a theorem of ON if and only if the natural translation B* of B in set theory is a theorem of ZF;(3) (V = L)° holds in ON.

On size vs. efficiency for programs admitting speed-ups

1971 ◽  
Vol 36 (1) ◽  
pp. 21-27 ◽  
Author(s):  
John Helm ◽  
Paul Young
Keyword(s):  
Computational Complexity ◽  
Recursive Function ◽  
Recursion Theory ◽  
Typical Application ◽  
Recursion Theorem ◽  
Efficient Program ◽  
Do So

Since the publication in 1967 of the two papers [1] and [2] by Manuel Blum, the techniques and results of “pure” recursion theory, particularly the recursion theorem and priority methods, have come to play an increasingly important role in studies of computational complexity. This paper gives a typical application of the recursion theorem with a fairly intricate diagonalization to answer a question raised by Blum in [3]. Roughly, we prove the existence of functions which have the property that if we are given any program for computing the function and want to pass to a program which computes the function much more efficiently, then we can only do so at the expense of obtaining a much larger program: the function which describes the necessary increase in the size of the more efficient program must grow more rapidly than any recursive function.

Every n-generic degree is a minimal cover of an n-generic degree

1993 ◽  
Vol 58 (1) ◽  
pp. 219-231 ◽  
Author(s):  
Masahiro Kumabe
Keyword(s):  
Characteristic Function ◽  
Set Theory ◽  
Initial Segment ◽  
Continuum Hypothesis ◽  
Recursion Theory ◽  
Turing Degree ◽  
Minimal Cover ◽  
The Axiom Of Choice ◽  
Generic Set ◽  
The Continuum

The notions of forcing and generic set were introduced by Cohen in 1963 to prove the independence of the Axiom of Choice and the Continuum Hypothesis in set theory. Let ω be the set of natural numbers, i.e., {0,1,2,3,…}. A string is a mapping from an initial segment of ω into {0,1}. We identify a set A ⊆ ω to with its characteristic function.We now consider a set generic over the arithmetic sets. A set A ⊆ ω is called n-generic if it is Cohen-generic for n-quantifier arithmetic. This is equivalent to saying that for every -set of strings S, there is a σ ⊂ A such that σ ∈ S or (∀v ≥ σ)(v ∉ S). By degree we mean Turing degree (of unsolvability). We call a degree n-generic if it has an n-generic representative. For a degree a, let D(≤a) denote the set of degrees which are recursive in a.Before Cohen's work, there was a precursor of the notion of forcing in recursion theory. Friedberg showed that for every degree b above the complete degree 0', i.e., the degree of a complete r.e. set, there is a degree a such that a′ = a ⋃ 0′ = b. He actually proved this result by using the notion of forcing for statements.

α-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.

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

Products of some special compact spaces and restricted forms of AC

2010 ◽  
Vol 75 (3) ◽  
pp. 996-1006 ◽  
Author(s):  
Kyriakos Keremedis ◽  
Eleftherios Tachtsis
Keyword(s):  
Set Theory ◽  
Closed Subset ◽  
Choice Function ◽  
Ordinal Number ◽  
Axiom Of Choice ◽  
Finite Support ◽  
Compact Spaces ◽  
The Axiom Of Choice ◽  
Infinite Set

AbstractWe establish the following results:1. In ZF (i.e., Zermelo-Fraenkel set theory minus the Axiom of Choice AC), for every set I and for every ordinal number α ≥ ω, the following statements are equivalent:(a) The Tychonoff product of ∣α∣ many non-empty finite discrete subsets of I is compact.(b) The union of ∣α∣ many non-empty finite subsets of I is well orderable.2. The statement: For every infinite set I, every closed subset of the Tychonoff product [0, 1]Iwhich consists offunctions with finite support is compact, is not provable in ZF set theory.3. The statement: For every set I, the principle of dependent choices relativised to I implies the Tychonoff product of countably many non-empty finite discrete subsets of I is compact, is not provable in ZF0 (i.e., ZF minus the Axiom of Regularity).4. The statement: For every set I, every ℵ0-sized family of non-empty finite subsets of I has a choice function implies the Tychonoff product of ℵ0many non-empty finite discrete subsets of I is compact, is not provable in ZF0.

A Review of Fuzzy Models for the Semantic Web

2011 ◽  
pp. 63-77
Author(s):  
Hailong Wang ◽  
Zongmin Ma ◽  
Li Yan ◽  
Jingwei Cheng
Keyword(s):  
Computational Complexity ◽  
Semantic Web ◽  
Set Theory ◽  
Fuzzy Set ◽  
Fuzzy Set Theory ◽  
Description Logics ◽  
Expressive Power ◽  
Semantic Knowledge ◽  
Context Information ◽  
Semantic Knowledge Base

In the Semantic Web context, information would be retrieved, processed, shared, reused and aligned in the maximum automatic way possible. Our experience with such applications in the Semantic Web has shown that these are rarely a matter of true or false but rather procedures that require degrees of relatedness, similarity, or ranking. Apart from the wealth of applications that are inherently imprecise, information itself is many times imprecise or vague. In order to be able to represent and reason with such type of information in the Semantic Web, different general approaches for extending semantic web languages with the ability to represent imprecision and uncertainty has been explored. In this chapter, we focus our attention on fuzzy extension approaches which are based on fuzzy set theory. We review the existing proposals for extending the theoretical counterpart of the semantic web languages, description logics (DLs), and the languages themselves. The following statements will include the expressive power of the fuzzy DLs formalism and its syntax and semantic, knowledge base, the decidability of the tableaux algorithm and its computational complexity etc. Also the fuzzy extension to OWL is discussed in this chapter.

Sign in / Sign up

Export Citation Format

Share Document