This HTML5 document contains 87 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
n21http://projecteuclid.org/DPubS%3Fservice=UI&version=1.0&verb=Display&page=toc&handle=euclid.pl/
n9https://math.berkeley.edu/~antonio/
dbohttp://dbpedia.org/ontology/
n18http://math.uic.edu/~marker/math512/
foafhttp://xmlns.com/foaf/0.1/
n17https://global.dbpedia.org/id/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
dbpedia-pthttp://pt.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n15http://folk.uio.no/dnormann/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
goldhttp://purl.org/linguistics/gold/
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Descriptive_set_theory
dbo:wikiPageWikiLink
dbr:Hyperarithmetical_theory
Subject Item
dbr:Computable_function
dbo:wikiPageWikiLink
dbr:Hyperarithmetical_theory
Subject Item
dbr:Analytical_hierarchy
dbo:wikiPageWikiLink
dbr:Hyperarithmetical_theory
Subject Item
dbr:Mathematical_logic
dbo:wikiPageWikiLink
dbr:Hyperarithmetical_theory
Subject Item
dbr:Basis_theorem_(computability)
dbo:wikiPageWikiLink
dbr:Hyperarithmetical_theory
Subject Item
dbr:Nonrecursive_ordinal
dbo:wikiPageWikiLink
dbr:Hyperarithmetical_theory
Subject Item
dbr:Kai_Wehmeier
dbo:wikiPageWikiLink
dbr:Hyperarithmetical_theory
Subject Item
dbr:Hilary_Putnam
dbo:wikiPageWikiLink
dbr:Hyperarithmetical_theory
Subject Item
dbr:Hyperarithmetical_theory
rdfs:label
Teoria hiperaritmética Hyperarithmetical theory
rdfs:comment
Na Teoria da Computabilidade, a Teoria hiperaritmética é uma generalização da Computabilidade de Turing. Possui ligações estreitas com definibilidade na aritmética de segunda ordem e com sistemas fracos da teoria dos conjuntos, como a Teoria dos Conjuntos Kripke-Platek. In recursion theory, hyperarithmetic theory is a generalization of Turing computability. It has close connections with definability in second-order arithmetic and with weak systems of set theory such as Kripke–Platek set theory. It is an important tool in effective descriptive set theory. The central focus of hyperarithmetic theory is the sets of natural numbers known as hyperarithmetic sets. There are three equivalent ways of defining this class of sets; the study of the relationships between these different definitions is one motivation for the study of hyperarithmetical theory.
dcterms:subject
dbc:Hierarchy dbc:Computability_theory
dbo:wikiPageID
12383591
dbo:wikiPageRevisionID
1116124706
dbo:wikiPageWikiLink
dbr:Ordinal_number dbr:Ordinal_notation dbr:Baire_space dbr:Turing_degree dbr:Arithmetical_hierarchy dbr:Arithmetical_set dbr:Tarski's_indefinability_theorem dbr:Computable_function dbr:Peano_axioms dbr:Recursive_ordinal dbr:Pairing_function dbr:Turing_reduction dbr:Large_countable_ordinal dbc:Hierarchy dbr:Natural_number dbr:Alpha_recursion_theory dbr:Limit_ordinal dbr:Supremum dbr:Admissible_ordinal dbr:Analytical_hierarchy dbr:Many-one_reduction dbr:Julia_F._Knight dbr:Type_theory dbr:Turing_jump dbr:Set_theory dbc:Computability_theory dbr:Second-order_arithmetic dbr:Kripke–Platek_set_theory dbr:Recursion_theory dbr:Effective_descriptive_set_theory
dbo:wikiPageExternalLink
n9: n15:LogikkII.pdf n18:dst.pdf n21:1235422631
owl:sameAs
dbpedia-pt:Teoria_hiperaritmética freebase:m.02w27f7 n17:fQXD wikidata:Q17028365
dbp:wikiPageUsesTemplate
dbt:ISBN dbt:Reflist dbt:Pointclasses
dbo:abstract
In recursion theory, hyperarithmetic theory is a generalization of Turing computability. It has close connections with definability in second-order arithmetic and with weak systems of set theory such as Kripke–Platek set theory. It is an important tool in effective descriptive set theory. The central focus of hyperarithmetic theory is the sets of natural numbers known as hyperarithmetic sets. There are three equivalent ways of defining this class of sets; the study of the relationships between these different definitions is one motivation for the study of hyperarithmetical theory. Na Teoria da Computabilidade, a Teoria hiperaritmética é uma generalização da Computabilidade de Turing. Possui ligações estreitas com definibilidade na aritmética de segunda ordem e com sistemas fracos da teoria dos conjuntos, como a Teoria dos Conjuntos Kripke-Platek.
gold:hypernym
dbr:Generalization
prov:wasDerivedFrom
wikipedia-en:Hyperarithmetical_theory?oldid=1116124706&ns=0
dbo:wikiPageLength
13004
foaf:isPrimaryTopicOf
wikipedia-en:Hyperarithmetical_theory
Subject Item
dbr:Hyperarithmetic_theory
dbo:wikiPageWikiLink
dbr:Hyperarithmetical_theory
dbo:wikiPageRedirects
dbr:Hyperarithmetical_theory
Subject Item
dbr:Set_theory
dbo:wikiPageWikiLink
dbr:Hyperarithmetical_theory
Subject Item
dbr:List_of_types_of_sets
dbo:wikiPageWikiLink
dbr:Hyperarithmetical_theory
Subject Item
dbr:Pointclass
dbo:wikiPageWikiLink
dbr:Hyperarithmetical_theory
Subject Item
dbr:Hyperjump
dbo:wikiPageWikiLink
dbr:Hyperarithmetical_theory
dbo:wikiPageRedirects
dbr:Hyperarithmetical_theory
Subject Item
dbr:Hyperarithmetic
dbo:wikiPageWikiLink
dbr:Hyperarithmetical_theory
dbo:wikiPageRedirects
dbr:Hyperarithmetical_theory
Subject Item
dbr:Hyperarithmetic_hierarchy
dbo:wikiPageWikiLink
dbr:Hyperarithmetical_theory
dbo:wikiPageRedirects
dbr:Hyperarithmetical_theory
Subject Item
dbr:Hyperarithmetic_reducibility
dbo:wikiPageWikiLink
dbr:Hyperarithmetical_theory
dbo:wikiPageRedirects
dbr:Hyperarithmetical_theory
Subject Item
dbr:Hyperarithmetic_set
dbo:wikiPageWikiLink
dbr:Hyperarithmetical_theory
dbo:wikiPageRedirects
dbr:Hyperarithmetical_theory
Subject Item
dbr:Hyperarithmetical
dbo:wikiPageWikiLink
dbr:Hyperarithmetical_theory
dbo:wikiPageRedirects
dbr:Hyperarithmetical_theory
Subject Item
dbr:Hyperarithmetical_hierarchy
dbo:wikiPageWikiLink
dbr:Hyperarithmetical_theory
dbo:wikiPageRedirects
dbr:Hyperarithmetical_theory
Subject Item
dbr:Hyperarithmetical_reducibility
dbo:wikiPageWikiLink
dbr:Hyperarithmetical_theory
dbo:wikiPageRedirects
dbr:Hyperarithmetical_theory
Subject Item
dbr:Hyperarithmetical_set
dbo:wikiPageWikiLink
dbr:Hyperarithmetical_theory
dbo:wikiPageRedirects
dbr:Hyperarithmetical_theory
Subject Item
wikipedia-en:Hyperarithmetical_theory
foaf:primaryTopic
dbr:Hyperarithmetical_theory