What Is This?

This is an HTML+RDFa representation of metadata describing this Web-addressable resource.

Why Is This Important?

The property (attributes and values pairs) links on this page unveil a different kind of link, one which enables the following on HTTP networks such as the Web:

  1. Unambiguous identity for entities (aka. strong identifiers)
  2. Implicit binding of an entity and its metadata via strong identifiers
  3. Multiple metadata representations that enable a variety of presentations
  4. High precision Search and Find queries that simply use the metadata documents (by referencing entity URIs) as the query's Data Source Name

How Do I Discover Alternative Metadata Representations?

This document exposes metadata in the following formats: (X)HTML+RDFa, Turtle, N3, RDF/JSON, or RDF/XML. In the most basic form, you can simply view the (X)HTML source markup of this page, and go directly to the <head/> section which contains a <link/> tag with relationship and type properties for each format.

In addition, you can also explicitly request a desired metadata representation for a given resource via HTTP GET requests that use the entity's strong identifier as the call target.

How Can I Expose My Web Resources In This Manner?

Simply include the following in the <head/> section of your (static or dynamically generated) (X)HTML page:

<link rel="alternate" title="My Data in RDF Linked Data form"
type="application/rdf+xml"
href="http://linkeddata.uriburner.com/about/id/<this-page-URL>/>"

How Is This Related To The Linked Data Meme?

As stated above, the links in this page expose strong identifiers for its primary topic, secondary topics, attributes, and some values. These links, via implicit association, act as conduits to their metadata-bearing documents, in a variety formats.

[OpenLink Software]

About: Ordinal analysis - Wikipedia

An Entity of Type : Thing, from Data Source : https://en.wikipedia.org/wiki/Proof-theoretic_strength, within Data Space : dev.restore.ovi.cnr.it:8890

  • References
  • Referenced By
content

og:title
  • Ordinal analysis - Wikipedia
og:type
  • website
Title
  • Ordinal analysis - Wikipedia
links to
  • https://en.wikipedia.org/wiki/Ordinal_number
  • https://en.wikipedia.org/wiki/Category...in-text_citations_from_September_2021
  • https://en.wikipedia.org/wiki/Buchholz%27s_ordinal
  • https://wikimediafoundation.org/
  • https://donate.wikimedia.org/?wmf_sour..._campaign=en.wikipedia.org&uselang=en
  • https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Terms_of_Use
  • https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Privacy_policy
  • https://foundation.wikimedia.org/wiki/...uage/Policy:Universal_Code_of_Conduct
  • https://developer.wikimedia.org
  • https://stats.wikimedia.org/#/en.wikipedia.org
  • https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Cookie_statement
  • https://www.mediawiki.org/
  • https://en.wikipedia.org/wiki/Wikipedia:Please_clarify
  • https://en.wikipedia.org/wiki/Wikipedia:Citation_needed
  • https://en.wikipedia.org/wiki/Help:Maintenance_template_removal
  • https://en.wikipedia.org/wiki/ISBN_(identifier)
  • https://en.wikipedia.org/wiki/Doi_(identifier)
  • https://en.wikipedia.org/wiki/Category...escription_is_different_from_Wikidata
  • https://en.wikipedia.org/wiki/Category:All_articles_with_unsourced_statements
  • https://en.wikipedia.org/wiki/S2CID_(identifier)
  • https://en.wikipedia.org/wiki/Wikipedia:Citing_sources#Inline_citations
  • https://en.wikipedia.org/wiki/Category...sourced_statements_from_November_2022
  • https://en.wikipedia.org/wiki/Wikipedia:Citing_sources#General_references
  • https://en.wikipedia.org/wiki/Wikipedia:WikiProject_Reliability
  • https://en.wikipedia.org/wiki/Main_Page
  • https://en.wikipedia.org/wiki/Wikipedia:Contents
  • https://en.wikipedia.org/wiki/Portal:Current_events
  • https://en.wikipedia.org/wiki/Special:Random
  • https://en.wikipedia.org/wiki/Wikipedia:About
  • https://en.wikipedia.org/wiki/Wikipedia:Contact_us
  • https://en.wikipedia.org/wiki/Help:Contents
  • https://en.wikipedia.org/wiki/Help:Introduction
  • https://en.wikipedia.org/wiki/Wikipedia:Community_portal
  • https://en.wikipedia.org/wiki/Special:RecentChanges
  • https://en.wikipedia.org/wiki/Wikipedia:File_upload_wizard
  • https://en.wikipedia.org/wiki/Special:Search
  • https://en.wikipedia.org/wiki/Special:MyContributions
  • https://en.wikipedia.org/wiki/Special:MyTalk
  • https://en.wikipedia.org/wiki/Wikipedia:File_Upload_Wizard
  • https://en.wikipedia.org/wiki/Special:SpecialPages
  • https://en.wikipedia.org/wiki/Category...int:_bot:_original_URL_status_unknown
  • https://en.wikipedia.org/wiki/Help:Category
  • https://en.wikipedia.org/wiki/Category:Articles_with_short_description
  • https://en.wikipedia.org/wiki/Wikipedi...-ShareAlike_4.0_International_License
  • https://en.wikipedia.org/wiki/Wikipedia:General_disclaimer
  • https://en.wikipedia.org/wiki/ArXiv_(identifier)
  • https://en.wikipedia.org/wiki/List_of_unsolved_problems_in_mathematics
  • https://en.wikipedia.org/wiki/Template:Citation
  • https://en.wikipedia.org/wiki/Intuitionistic_logic
  • https://en.wikipedia.org/wiki/Well-order
  • https://en.wikipedia.org/wiki/Solomon_Feferman
  • https://en.wikipedia.org/wiki/System_F
  • https://www.wikimedia.org/
  • https://en.wikipedia.org/wiki/Peano_arithmetic
  • https://en.wikipedia.org/wiki/Inconsistent
  • https://en.wikipedia.org/wiki/Category:Proof_theory
  • https://en.wikipedia.org/wiki/Wikipedia:When_to_cite
  • https://en.wikipedia.org/wiki/Category:All_articles_lacking_in-text_citations
  • https://en.wikipedia.org/wiki/MR_(identifier)
  • https://en.wikipedia.org/wiki/Well-founded_relation
  • https://en.wikipedia.org/wiki/Order_type
  • https://en.wikipedia.org/wiki/Category...ing_clarification_from_September_2023
  • https://en.wikipedia.org/wiki/Second_order_arithmetic
  • https://en.wikipedia.org/wiki/Gerhard_Gentzen
  • https://en.wikipedia.org/wiki/Cut_elimination
  • https://en.wikipedia.org/wiki/Takeuti%E2%80%93Feferman%E2%80%93Buchholz_ordinal
  • https://en.wikipedia.org/wiki/Proof_theory
  • https://arxiv.org/archive/math.LO
  • https://en.wikipedia.org/wiki/Reverse_mathematics
  • https://en.wikipedia.org/wiki/Peano_axioms
  • https://en.wikipedia.org/wiki/Zermelo%E2%80%93Fraenkel_set_theory
  • https://en.wikipedia.org/wiki/Equiconsistency
  • https://en.wikipedia.org/wiki/Kripke%E2%80%93Platek_set_theory
  • https://en.wikipedia.org/wiki/Second-order_arithmetic
  • https://en.wikipedia.org/wiki/Elementary_function_arithmetic
  • https://en.wikipedia.org/wiki/Primitive_recursive_arithmetic
  • https://en.wikipedia.org/wiki/Robinson_arithmetic
  • https://en.wikipedia.org/wiki/Ordinal_analysis
  • https://en.wikipedia.org/wiki/Computable_function
  • https://en.wikipedia.org/wiki/Axiom_of_infinity
  • https://en.wikipedia.org/wiki/Transfinite_induction
  • https://en.wikipedia.org/wiki/Bachmann%E2%80%93Howard_ordinal
  • https://en.wikipedia.org/wiki/Feferman%E2%80%93Sch%C3%BCtte_ordinal
  • https://en.wikipedia.org/wiki/Category:Ordinal_numbers
  • https://en.wikipedia.org/wiki/Complexity_class
  • https://en.wikipedia.org/wiki/Grzegorczyk_hierarchy
  • https://en.wikipedia.org/wiki/Reverse_mathematics#The_base_system_RCA0
  • https://en.wikipedia.org/wiki/Reverse_mathematics#Weak_Kőnig's_lemma_WKL0
  • https://en.wikipedia.org/wiki/Reverse_...atics#Arithmetical_comprehension_ACA0
  • https://en.wikipedia.org/wiki/Reverse_...ithmetical_transfinite_recursion_ATR0
  • https://en.wikipedia.org/wiki/Epsilon_numbers_(mathematics)
  • https://en.wikipedia.org/wiki/Large_cardinal_property
  • https://en.wikipedia.org/wiki/Gentzen%27s_consistency_proof
  • https://en.wikipedia.org/wiki/Second-order_arithmetic#Arithmetical_comprehension
  • https://en.wikipedia.org/wiki/Second-order_arithmetic#Recursive_comprehension
  • https://en.wikipedia.org/wiki/Special:BookSources/0-444-89840-9
  • https://en.wikipedia.org/wiki/Ordinal_collapsing_function
  • https://www.wikidata.org/wiki/Special:EntityPage/Q7100782#sitelinks-wikipedia
  • https://www.wikidata.org/wiki/Special:EntityPage/Q7100782
  • https://en.wikipedia.org/wiki/Ordinal_analysis#endnote_a
  • https://en.wikipedia.org/wiki/Ordinal_analysis#endnote_b
  • https://en.wikipedia.org/wiki/Ordinal_analysis#endnote_c
  • https://en.wikipedia.org/wiki/Ordinal_analysis#endnote_d
  • https://en.wikipedia.org/wiki/Ordinal_analysis#endnote_e
  • https://en.wikipedia.org/wiki/Ordinal_analysis#endnote_g
  • https://en.wikipedia.org/wiki/Ordinal_analysis#endnote_h
  • https://en.wikipedia.org/wiki/Ordinal_analysis#endnote_i
  • https://en.wikipedia.org/wiki/Ordinal_analysis#endnote_j
  • https://en.wikipedia.org/wiki/Ordinal_analysis#endnote_k
  • https://en.wikipedia.org/wiki/Ordinal_analysis#endnote_o
  • https://en.wikipedia.org/wiki/Ordinal_analysis#endnote_l
  • https://en.wikipedia.org/wiki/Ordinal_analysis#endnote_m
  • https://en.wikipedia.org/wiki/Ordinal_analysis#endnote_n
  • https://www1.maths.leeds.ac.uk/~rathjen/BEYOND.pdf
  • https://web.archive.org/web/2023120705....maths.leeds.ac.uk/~rathjen/realm.pdf
  • https://archive.org/details/boundedarithmeti0000kraj/page/18
  • https://www1.maths.leeds.ac.uk/~rathjen/Sepp-chiemsee.pdf
  • https://web.archive.org/web/2009122200...ings/Vol_II/contents/ICM_Vol_2_03.pdf
  • https://mathscinet.ams.org/mathscinet-getitem?mr=2275588
  • http://www.madore.org/~david/math/ordinal-zoo.pdf
  • https://www.andrew.cmu.edu/user/avigad/Papers/alpha1.pdf
  • https://web.archive.org/web/2022070813...eds.ac.uk/~rathjen/HydraeSubArith.pdf
  • https://arxiv.org/abs/1411.4481
  • https://home.inf.unibe.ch/thomas.strahm/download/pdf/secord.pdf
  • https://www.sciencedirect.com/science/article/pii/016800728390012X
  • https://www.jstor.org/stable/2274140
  • https://www.cs.ox.ac.uk/files/5626/AR12.pdf
  • https://arxiv.org/abs/0910.5442
  • https://doi.org/10.2178%2Fjsl%2F1305810765
  • https://api.semanticscholar.org/CorpusID:675632
  • https://arxiv.org/abs/2007.07188
  • https://www.andrew.cmu.edu/user/avigad/Papers/admissible.pdf
  • https://www.sciencedirect.com/science/article/abs/pii/S0049237X08713648
  • https://math.stanford.edu/~feferman/papers/unfolding.pdf
  • https://ulrikbuchholtz.dk/bjs.pdf
  • https://home.inf.unibe.ch/thomas.strahm/download/pdf/prag.pdf
  • https://doi.org/10.1017/9781316756140.031
  • https://core.ac.uk/download/pdf/85211647.pdf
  • https://www.sciencedirect.com/science/article/pii/S016800720300006X
  • https://doc.rero.ch/record/293367/files/S0022481200009981.pdf
  • https://home.inf.unibe.ch/ltg/publications/2002/js02a.pdf
  • https://arxiv.org/abs/1907.00412
  • https://web.archive.org/web/2023120705...ac.uk/~rathjen/Dissertation_Ontos.pdf
  • https://www1.maths.leeds.ac.uk/~rathjen/typeOHIO.pdf
  • https://doi.org/10.1002/malq.19960420106
  • https://doi.org/10.1002%2Fmalq.19960420106
  • https://citeseerx.ist.psu.edu/document...5c4eb40059aa6fda9e8096c7952ce65fa5ac6
  • https://d-nb.info/1017849250/34
  • https://arxiv.org/abs/2304.00246
  • https://arxiv.org/abs/2304.03851
  • https://arxiv.org/abs/2311.12459
  • https://inria.hal.science/hal-03698879/document
  • https://archive.org/details/iteratedinductiv0000unse
  • https://doi.org/10.1007%2FBFb0091894
  • https://archive.org/details/prooftheoryintro0000pohl
  • https://doi.org/10.1007%2F978-3-540-46825-7
  • https://mathscinet.ams.org/mathscinet-getitem?mr=1026933
  • https://doi.org/10.1016%2FS0049-237X%2898%2980019-0
  • https://mathscinet.ams.org/mathscinet-getitem?mr=1640328
  • https://doi.org/10.1007%2FBF01651328
  • https://mathscinet.ams.org/mathscinet-getitem?mr=1062729
  • https://api.semanticscholar.org/CorpusID:14125063
  • https://mathscinet.ams.org/mathscinet-getitem?mr=0505313
  • https://journals.openedition.org/msh/pdf/2959
  • https://mathscinet.ams.org/mathscinet-getitem?mr=0882549
  • https://dx.doi.org/10.1016/0168-0072%2894%2990074-4
  • https://doi.org/10.1016%2F0168-0072%2894%2990074-4
  • https://en.wikipedia.org/wiki/First_uncountable_ordinal
  • https://en.wikipedia.org/wiki/Recursive_ordinal
  • https://www.sciencedirect.com/science/article/pii/0168007294900744
  • https://en.wikipedia.org/wiki/Ordinal_notation
  • https://en.wikipedia.org/wiki/Church%E2%80%93Kleene_ordinal
  • https://en.wikipedia.org/wiki/Kleene%27s_O
  • https://en.wikipedia.org/wiki/Admissible_ordinal
  • https://en.wikipedia.org/wiki/Gentzen
  • https://en.wikipedia.org/wiki/Martin-L%C3%B6f_type_theory
  • https://en.wikipedia.org/wiki/Grand_conjecture
  • https://en.wikipedia.org/wiki/CZF
  • https://en.wikipedia.org/wiki/Proof-theoretic_strength#bodyContent
  • https://en.wikipedia.org/w/index.php?t...eateAccount&returnto=Ordinal+analysis
  • https://en.wikipedia.org/w/index.php?t...l:UserLogin&returnto=Ordinal+analysis
  • https://en.wikipedia.org/wiki/Proof-theoretic_strength#
  • https://en.wikipedia.org/wiki/Proof-theoretic_strength#History
  • https://en.wikipedia.org/wiki/Proof-theoretic_strength#Definition
  • https://en.wikipedia.org/wiki/Proof-theoretic_strength#Ordinal_notations
  • https://en.wikipedia.org/wiki/Proof-theoretic_strength#Upper_bound
  • https://en.wikipedia.org/wiki/Proof-theoretic_strength#Examples
  • https://en.wikipedia.org/wiki/Proof-th...ies_with_proof-theoretic_ordinal_ω
  • https://en.wikipedia.org/wiki/Proof-th...es_with_proof-theoretic_ordinal_ω2
  • https://en.wikipedia.org/wiki/Proof-th...es_with_proof-theoretic_ordinal_ω3
  • https://en.wikipedia.org/wiki/Proof-th...rdinal_ωn_(for_n_=_2,_3,_..._ω)
  • https://en.wikipedia.org/wiki/Proof-th...with_proof-theoretic_ordinal_ωω
  • https://en.wikipedia.org/wiki/Proof-th...es_with_proof-theoretic_ordinal_ε0
  • https://en.wikipedia.org/wiki/Proof-th...eferman–Schütte_ordinal_Γ0
  • https://en.wikipedia.org/wiki/Proof-th...inal_the_Bachmann–Howard_ordinal
  • https://en.wikipedia.org/wiki/Proof-th..._with_larger_proof-theoretic_ordinals
  • https://en.wikipedia.org/wiki/Proof-theoretic_strength#Table_of_ordinal_analyses
  • https://en.wikipedia.org/wiki/Proof-theoretic_strength#Key
  • https://en.wikipedia.org/wiki/Proof-theoretic_strength#See_also
  • https://en.wikipedia.org/wiki/Proof-theoretic_strength#Notes
  • https://en.wikipedia.org/wiki/Proof-theoretic_strength#Citations
  • https://en.wikipedia.org/wiki/Proof-theoretic_strength#References
  • https://en.wikipedia.org/wiki/Talk:Ordinal_analysis
  • https://en.wikipedia.org/w/index.php?title=Ordinal_analysis&action=edit
  • https://en.wikipedia.org/w/index.php?title=Ordinal_analysis&action=history
  • https://en.wikipedia.org/wiki/Special:WhatLinksHere/Ordinal_analysis
  • https://en.wikipedia.org/wiki/Special:RecentChangesLinked/Ordinal_analysis
  • https://en.wikipedia.org/w/index.php?title=Ordinal_analysis&oldid=1292991383
  • https://en.wikipedia.org/w/index.php?title=Ordinal_analysis&action=info
  • https://en.wikipedia.org/w/index.php?t...1292991383&wpFormIdentifier=titleform
  • https://en.wikipedia.org/w/index.php?t...kipedia.org%2Fwiki%2FOrdinal_analysis
  • https://en.wikipedia.org/w/index.php?t...kipedia.org%2Fwiki%2FOrdinal_analysis
  • https://en.wikipedia.org/w/index.php?t..._analysis&action=show-download-screen
  • https://en.wikipedia.org/w/index.php?title=Ordinal_analysis&printable=yes
  • https://en.wikipedia.org/w/index.php?title=Proof-theoretic_strength&redirect=no
  • https://en.wikipedia.org/wiki/Large_countable_ordinals
  • https://en.wikipedia.org/wiki/Proof-theoretic_strength#cite_note-1
  • https://en.wikipedia.org/w/index.php?t...rdinal_analysis&action=edit§ion=1
  • https://en.wikipedia.org/w/index.php?t...rdinal_analysis&action=edit§ion=2
  • https://en.wikipedia.org/w/index.php?t...rdinal_analysis&action=edit§ion=3
  • https://en.wikipedia.org/wiki/Proof-theoretic_strength#cite_note-Realm-2
  • https://en.wikipedia.org/w/index.php?t...rdinal_analysis&action=edit§ion=4
  • https://en.wikipedia.org/w/index.php?t...rdinal_analysis&action=edit§ion=5
  • https://en.wikipedia.org/w/index.php?t...rdinal_analysis&action=edit§ion=6
  • https://en.wikipedia.org/w/index.php?t...rdinal_analysis&action=edit§ion=7
  • https://en.wikipedia.org/wiki/Rudimentary_function
  • https://en.wikipedia.org/wiki/Proof-theoretic_strength#cite_note-Krajicek-3
  • https://en.wikipedia.org/w/index.php?t...rdinal_analysis&action=edit§ion=8
  • https://en.wikipedia.org/w/index.php?t...rdinal_analysis&action=edit§ion=9
  • https://en.wikipedia.org/w/index.php?t...dinal_analysis&action=edit§ion=10
  • https://en.wikipedia.org/w/index.php?t...dinal_analysis&action=edit§ion=11
  • https://en.wikipedia.org/w/index.php?t...dinal_analysis&action=edit§ion=12
  • https://en.wikipedia.org/wiki/Arithmetical_transfinite_recursion
  • https://en.wikipedia.org/w/index.php?t...dinal_analysis&action=edit§ion=13
  • https://en.wikipedia.org/wiki/Buchholz%27s_ID_hierarchy
  • https://en.wikipedia.org/w/index.php?t...dinal_analysis&action=edit§ion=14
  • https://en.wikipedia.org/wiki/Proof-th...gth#cite_note-RathjenFromArithmetic-4
  • https://en.wikipedia.org/wiki/Proof-theoretic_strength#cite_note-5
  • https://en.wikipedia.org/wiki/Buchholz%27s_notation
  • https://en.wikipedia.org/wiki/Proof-theoretic_strength#CITEREFSetzer2004
  • https://en.wikipedia.org/wiki/Proof-theoretic_strength#cite_note-6
  • https://en.wikipedia.org/wiki/Proof-theoretic_strength#CITEREFRathjen1990
  • https://en.wikipedia.org/w/index.php?t...dinal_analysis&action=edit§ion=15
  • https://en.wikipedia.org/wiki/Proof-th...c_strength#cite_note-AvigadSommer97-7
  • https://en.wikipedia.org/wiki/Proof-theoretic_strength#cite_note-8
  • https://en.wikipedia.org/wiki/Proof-theoretic_strength#cite_note-9
  • https://en.wikipedia.org/wiki/Proof-th...c_strength#cite_note-JagerStrahm95-10
  • https://en.wikipedia.org/wiki/Proof-theoretic_strength#cite_note-FSS83-11
  • https://en.wikipedia.org/wiki/Proof-theoretic_strength#cite_note-12
  • https://en.wikipedia.org/wiki/Proof-theoretic_strength#cite_note-Jäger84-13
  • https://en.wikipedia.org/wiki/Proof-theoretic_strength#cite_note-14
  • https://en.wikipedia.org/wiki/Proof-th...#cite_note-MarconeMontalbán2010-15
  • https://en.wikipedia.org/wiki/Proof-theoretic_strength#cite_note-16
  • https://en.wikipedia.org/wiki/Proof-th...gth#cite_note-Heissenbüttel2001-17
  • https://en.wikipedia.org/wiki/Proof-theoretic_strength#cite_note-Probst2017-18
  • https://en.wikipedia.org/wiki/Proof-theoretic_strength#cite_note-19
  • https://en.wikipedia.org/wiki/Proof-theoretic_strength#cite_note-FNF20-20
  • https://en.wikipedia.org/wiki/Proof-theoretic_strength#cite_note-Simpson85-21
  • https://en.wikipedia.org/wiki/Proof-theoretic_strength#cite_note-22
  • https://en.wikipedia.org/wiki/Proof-theoretic_strength#cite_note-23
  • https://en.wikipedia.org/wiki/Proof-theoretic_strength#cite_note-24
  • https://en.wikipedia.org/wiki/Proof-theoretic_strength#cite_note-FJ83-25
  • https://en.wikipedia.org/wiki/Proof-theoretic_strength#cite_note-BJS16-26
  • https://en.wikipedia.org/wiki/Proof-theoretic_strength#cite_note-27
  • https://en.wikipedia.org/wiki/Proof-theoretic_strength#cite_note-28
  • https://en.wikipedia.org/wiki/Proof-theoretic_strength#cite_note-Strahm2000-29
  • https://en.wikipedia.org/wiki/Proof-theoretic_strength#cite_note-Ruede2002-30
  • https://en.wikipedia.org/wiki/Proof-theoretic_strength#cite_note-Ruede2003-31
  • https://en.wikipedia.org/wiki/Proof-th...strength#cite_note-StrahmMahlo2002-32
  • https://en.wikipedia.org/wiki/Proof-theoretic_strength#cite_note-33
  • https://en.wikipedia.org/wiki/Proof-theoretic_strength#cite_note-34
  • https://en.wikipedia.org/wiki/Proof-th...c_strength#cite_note-JagerStrahm02-35
  • https://en.wikipedia.org/wiki/Proof-th...gth#cite_note-RathjenKrombholz2019-36
  • https://en.wikipedia.org/wiki/Proof-theoretic_strength#cite_note-37
  • https://en.wikipedia.org/wiki/Proof-theoretic_strength#cite_note-38
  • https://en.wikipedia.org/wiki/Proof-th...th#cite_note-RathjenInvestigations-39
  • https://en.wikipedia.org/wiki/Proof-theoretic_strength#cite_note-40
  • https://en.wikipedia.org/wiki/Proof-theoretic_strength#cite_note-41
  • https://en.wikipedia.org/wiki/Proof-theoretic_strength#cite_note-Setzer96-42
  • https://en.wikipedia.org/wiki/Proof-theoretic_strength#cite_note-43
  • https://en.wikipedia.org/wiki/Proof-theoretic_strength#cite_note-Stegert10-44
  • https://en.wikipedia.org/wiki/Proof-theoretic_strength#cite_note-Arai23A-45
  • https://en.wikipedia.org/wiki/Proof-theoretic_strength#cite_note-Arai23B-46
  • https://en.wikipedia.org/wiki/Proof-theoretic_strength#cite_note-Arai24-47
  • https://en.wikipedia.org/wiki/Proof-theoretic_strength#cite_note-48
  • https://en.wikipedia.org/w/index.php?t...dinal_analysis&action=edit§ion=16
  • https://en.wikipedia.org/wiki/Jensen_hierarchy
  • https://en.wikipedia.org/w/index.php?t...dinal_analysis&action=edit§ion=17
  • https://en.wikipedia.org/w/index.php?t...dinal_analysis&action=edit§ion=18
  • https://en.wikipedia.org/wiki/Proof-theoretic_strength#ref_a
  • https://en.wikipedia.org/wiki/Proof-theoretic_strength#ref_b
  • https://en.wikipedia.org/wiki/Proof-theoretic_strength#ref_c
  • https://en.wikipedia.org/wiki/Proof-theoretic_strength#ref_d
  • https://en.wikipedia.org/wiki/Proof-theoretic_strength#ref_e
  • https://en.wikipedia.org/wiki/Proof-theoretic_strength#ref_f
  • https://en.wikipedia.org/wiki/Proof-theoretic_strength#ref_g
  • https://en.wikipedia.org/wiki/Proof-theoretic_strength#ref_h
  • https://en.wikipedia.org/wiki/Proof-theoretic_strength#ref_i
  • https://en.wikipedia.org/wiki/Proof-theoretic_strength#ref_j
  • https://en.wikipedia.org/wiki/Proof-theoretic_strength#ref_k
xhv:alternate
  • http://dev.restore.ovi.cnr.it:8890/abo...title=Special:RecentChanges&feed=atom
  • https://en.wikipedia.org/w/index.php?title=Special:RecentChanges&feed=atom
  • https://en.m.wikipedia.org/wiki/Ordinal_analysis
  • http://dev.restore.ovi.cnr.it:8890/abo...hp?title=Ordinal_analysis&action=edit
  • http://dev.restore.ovi.cnr.it:8890/abo...m.wikipedia.org/wiki/Ordinal_analysis
  • https://en.wikipedia.org/w/index.php?title=Ordinal_analysis&action=edit
xhv:icon
xhv:license
  • Deed - Attribution-ShareAlike 4.0 International - Creative Commons
xhv:stylesheet
  • http://dev.restore.ovi.cnr.it:8890/abo...e.styles&only=styles&skin=vector-2022
  • http://dev.restore.ovi.cnr.it:8890/abo...ent.init&only=styles&skin=vector-2022
mw:PageProp/toc
primary topic
  • https://en.wikipedia.org/wiki/Proof-theoretic_strength
Alternative Linked Data Views: Facets | iSPARQL | ODE     Raw Linked Data formats: CXML | CSV | RDF ( N-Triples N3/Turtle JSON XML ) | OData ( Atom JSON ) | Microdata ( JSON HTML) | JSON-LD
This material is Open Knowledge   W3C Semantic Web Technology     This material is Open Knowledge Creative Commons License Valid XHTML + RDFa
This work is licensed under a Creative Commons Attribution-Share Alike 3.0 Unported License.
OpenLink Virtuoso version 07.20.3231, on Linux (x86_64-generic_glibc25-linux-gnu), Single Edition