Reflecting on incompleteness (Q3981446): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
(One intermediate revision by one other user not shown)
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.2307/2274902 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2114374802 / rank
 
Normal rank
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