| Property |
Value |
| dbo:abstract
|
- En teoría de conjuntos, el ordinal de Feferman-Schütte Γ0 es un 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 φα(β). 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)
- En teoría de conjuntos, el ordinal de Feferman-Schütte Γ0 es un 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 φα(β). 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)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
| |
| dbo:wikiPageRevisionID
| |
| prop-es:arxiv
|
- math/0509244 (es)
- math/0509244 (es)
|
| prop-es:first
|
- Nik (es)
- Wolfram (es)
- Nik (es)
- Wolfram (es)
|
| prop-es:isbn
| |
| prop-es:last
|
- Weaver (es)
- Pohlers (es)
- Weaver (es)
- Pohlers (es)
|
| prop-es:mr
| |
| prop-es:place
| |
| prop-es:publisher
|
- Springer-Verlag (es)
- Springer-Verlag (es)
|
| prop-es:series
|
- Lecture Notes in Mathematics (es)
- Lecture Notes in Mathematics (es)
|
| prop-es:title
|
- Proof theory (es)
- Predicativity beyond Gamma_0 (es)
- Proof theory (es)
- Predicativity beyond Gamma_0 (es)
|
| prop-es:volume
| |
| prop-es:year
|
- 1989 (xsd:integer)
- 2005 (xsd:integer)
|
| dct:subject
| |
| rdfs:comment
|
- En teoría de conjuntos, el ordinal de Feferman-Schütte Γ0 es un 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 φα(β). 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)
- En teoría de conjuntos, el ordinal de Feferman-Schütte Γ0 es un 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 φα(β). 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)
|
| rdfs:label
|
- Ordinal de Feferman-Schütte (es)
- Ordinal de Feferman-Schütte (es)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is owl:sameAs
of | |
| is foaf:primaryTopic
of | |
