Reflecting on incompleteness (Q3981446): 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: Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies / rank
 
Normal rank
Property / cites work
 
Property / cites work: Outline of a Theory of Truth / rank
 
Normal rank
Property / cites work
 
Property / cites work: A system of abstract constructive ordinals / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5771243 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Choice principles, the bar rule and autonomously iterated comprehension schemes in analysis / rank
 
Normal rank
Property / cites work
 
Property / cites work: Hilbert's program relativized; Proof-theoretical and foundational reductions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5573940 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Systems of predicative analysis, II: Representations of ordinals / rank
 
Normal rank

Latest revision as of 11:42, 15 May 2024

scientific article
Language Label Description Also known as
English
Reflecting on incompleteness
scientific article

    Statements

    Reflecting on incompleteness (English)
    0 references
    0 references
    0 references
    26 June 1992
    0 references
    0 references
    incompleteness
    0 references
    schematic set theory
    0 references
    reflection principles
    0 references
    predicativity
    0 references
    reflective closure of a schematic theory
    0 references
    schematic Peano arithmetic
    0 references
    predicative analysis
    0 references
    0 references