En teoría de conjuntos, el ordinal de Feferman-Schütte Γ0 es un ordinal grande que puede definirse como el ordinal más pequeño que no puede ser obtenido a partir del ordinal ' usando las operaciones usuales de la aritmética ordinal y las funciones de Veblen φα(β). Es decir, es el ordinal α más pequeño que satisface la relación φα(0) = α. Recibe su nombre de Solomon Feferman y Kurt Schütte.

Arxiv
  • math/0509244 (es)
rdfs:comment
  • En teoría de conjuntos, el ordinal de Feferman-Schütte Γ0 es un ordinal grande que puede definirse como el ordinal más pequeño que no puede ser obtenido a partir del ordinal ' usando las operaciones usuales de la aritmética ordinal y las funciones de Veblen φα(β). Es decir, es el ordinal α más pequeño que satisface la relación φα(0) = α. Recibe su nombre de Solomon Feferman y Kurt Schütte. (es)
First
  • Nik (es)
  • Wolfram (es)
foaf:isPrimaryTopicOf
Isbn
  • 3 (xsd:integer)
rdfs:label
  • Ordinal de Feferman-Schütte (es)
Last
  • Pohlers (es)
  • Weaver (es)
Mr
  • 1026933 (xsd:integer)
Place
  • Berlin (es)
Is foaf:primaryTopic of
Publisher
  • Springer-Verlag (es)
Series
  • Lecture Notes in Mathematics (es)
dcterms:subject
Title
  • Predicativity beyond Gamma_0 (es)
  • Proof theory (es)
Volume
  • 1407 (xsd:integer)
prov:wasDerivedFrom
dbpedia-owl:wikiPageID
  • 5557649 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 1414 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 8 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 65072710 (xsd:integer)
prop-latam:wikiPageUsesTemplate
dbpedia-owl:wikiPageWikiLink
Is dbpedia-owl:wikiPageWikiLink of
Year
  • 1989 (xsd:integer)
  • 2005 (xsd:integer)