The model-theoretic ordinal analysis of theories of predicative strength (Q4254639): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Systems of predicative analysis / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the strength of König's duality theorem for countable bipartite graphs / rank
 
Normal rank

Latest revision as of 21:08, 28 May 2024

scientific article; zbMATH DE number 1310712
Language Label Description Also known as
English
The model-theoretic ordinal analysis of theories of predicative strength
scientific article; zbMATH DE number 1310712

    Statements

    The model-theoretic ordinal analysis of theories of predicative strength (English)
    0 references
    0 references
    0 references
    0 references
    29 June 1999
    0 references
    0 references
    0 references
    0 references
    0 references
    ordinal analysis
    0 references
    models of second-order arithmetic
    0 references
    Schütte-Feferman ordinal
    0 references
    0 references