Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Large countable ordinal
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Ordinals in mathematics and set theory
Property
Value
dbo:
description
concept de la théorie des ensembles
(fr)
ordinals in mathematics and set theory
(en)
dbo:
wikiPageExternalLink
http://folk.uio.no/herman/incompleteness.pdf
https://gist.github.com/AndrasKovacs/8d445c8457ea0967e807c726b2ce5a3a
http://www.maths.leeds.ac.uk/~rathjen/srealm.ps
http://www.cs.fsu.edu/~levitz/ords.ps
https://archive.org/details/admissiblesetsst00barw_0
dbo:
wikiPageWikiLink
dbr
:Constructible_universe
dbr
:Oracle_machine
dbr
:Ordinal_arithmetic
dbr
:Gerhard_Gentzen
dbr
:PostScript
dbr
:Countable_set
dbr
:Peano_axioms
dbr
:Peter_Aczel
dbr
:Arithmetic
dbc
:Proof_theory
dbr
:Set_theory
dbr
:First-order_logic
dbr
:Proof_theory
dbr
:Gaisi_Takeuti
dbr
:Elementary_equivalence
dbr
:If_and_only_if
dbr
:Skolem_function
dbr
:Kurt_Schütte
dbr
:Formal_system
dbr
:Computable_function
dbr
:Goodstein's_theorem
dbc
:Ordinal_numbers
dbr
:Ordinal_number
dbr
:Zermelo_set_theory
dbr
:Zermelo–Fraenkel_set_theory
dbr
:Halting_problem
dbr
:Arithmetical_hierarchy
dbr
:Solomon_Feferman
dbr
:Transfinite_induction
dbr
:Regular_cardinal
dbr
:Weakly_compact_cardinal
dbr
:Mahlo_cardinal
dbr
:Transitive_model
dbr
:Kripke–Platek_set_theory
dbr
:Stephen_Cole_Kleene
dbr
:Higher-order_function
dbr
:Reverse_mathematics
dbr
:Hartley_Rogers_Jr.
dbr
:Feferman–Schütte_ordinal
dbr
:Veblen_function
dbr
:Gerald_Sacks
dbr
:Admissible_ordinal
dbr
:Kleene's_O
dbr
:Kleene–Brouwer_order
dbr
:Ordinal_analysis
dbr
:Ordinal_collapsing_function
dbr
:Ordinal_notation
dbr
:Second-order_arithmetic
dbr
:Large_cardinal_property
dbr
:Turing_machine
dbr
:Large_cardinal
dbr
:First_uncountable_ordinal
dbr
:Small_Veblen_ordinal
dbr
:Large_Veblen_ordinal
dbr
:Bachmann–Howard_ordinal
dbr
:Takeuti–Feferman–Buchholz_ordinal
dbr
:S._Barry_Cooper
dbr
:John_Truss
dbr
:Church–Kleene_ordinal
dbr
:Buchholz_hydra
dbr
:Supremum
dbr
:Indescribable_cardinal
dbr
:Kirby–Paris_theorem
dbr
:Epsilon_numbers_(mathematics)
dbr
:Kripke-Platek_set_theory
dbr
:Recursive_ordinal
dbr
:Craig_Smorynski
dbr
:Herman_Ruge_Jervell
dbr
:Hilbert_Levitz
dbr
:Larry_W._Miller
dbr
:Michael_Rathjen
dbr
:Stable_ordinal
dbr
:Wolfram_Pohlers
dbr
:Cantor_normal_form
dbr
:Gödel's_second_incompleteness_theorem
dbr
:Large_cardinals
dbr
:Impredicative
dbr
:Ψ0(Ωω)
dbr
:Proof-theoretic_strength
dbr
:The_Journal_of_Symbolic_Logic
dbr
:Veblen_hierarchy
dbp:
b
1
(xsd:integer)
dbp:
p
CK
(en)
dbp:
wikiPageUsesTemplate
dbt
:Cite_book
dbt
:Main
dbt
:See_also
dbt
:Su
dbt
:Countable_ordinals
dbt
:Citation_needed
dbt
:JSTOR
dbt
:Clarification_needed
dbt
:Cn
dbt
:Isbn
dbt
:Rp
dbt
:Short_description
dct:
subject
dbc
:Proof_theory
dbc
:Ordinal_numbers
gold:
hypernym
dbr
:Ways
rdfs:
label
Large countable ordinal
(en)
Grand ordinal dénombrable
(fr)
Grandes ordinais contáveis
(pt)
rdfs:
seeAlso
dbr
:Minimal_model_(set_theory)
owl:
sameAs
yago-res
:Large countable ordinal
freebase
:Large countable ordinal
wikidata
:Large countable ordinal
dbpedia-fr
:Large countable ordinal
dbpedia-pt
:Large countable ordinal
dbpedia-global
:Large countable ordinal
prov:
wasDerivedFrom
wikipedia-en
:Large_countable_ordinal?oldid=1296428416&ns=0
foaf:
isPrimaryTopicOf
wikipedia-en
:Large_countable_ordinal
is
dbo:
wikiPageRedirects
of
dbr
:Large_ordinal
dbr
:Large_countable_ordinals
dbr
:Large_ordinals
dbr
:Mahlo_ordinal
is
dbo:
wikiPageWikiLink
of
dbr
:Ordinal_arithmetic
dbr
:S2S_(mathematics)
dbr
:Oswald_Veblen
dbr
:Epsilon_number
dbr
:Fast-growing_hierarchy
dbr
:Ackermann_ordinal
dbr
:Large_ordinal
dbr
:Hilary_Putnam
dbr
:Feferman–Schütte_ordinal
dbr
:Loop_variant
dbr
:Buchholz's_ordinal
dbr
:Borel_hierarchy
dbr
:Hardy_hierarchy
dbr
:Kleene's_O
dbr
:Ordinal_collapsing_function
dbr
:First_uncountable_ordinal
dbr
:Nonrecursive_ordinal
dbr
:Slow-growing_hierarchy
dbr
:Small_Veblen_ordinal
dbr
:Large_Veblen_ordinal
dbr
:Computable_ordinal
dbr
:Bachmann–Howard_ordinal
dbr
:Gentzen's_consistency_proof
dbr
:Takeuti–Feferman–Buchholz_ordinal
dbr
:Veblen_ordinal
dbr
:Hyperarithmetical_theory
dbr
:Rathjen's_psi_function
dbr
:Large_countable_ordinals
dbr
:Large_ordinals
dbr
:Mahlo_ordinal
is
foaf:
primaryTopic
of
wikipedia-en
:Large_countable_ordinal
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International