Corrigendum to Reducing ω-model reflection to iterated syntactic reflection (Q6132767)

From MaRDI portal
scientific article; zbMATH DE number 7712964
Language Label Description Also known as
English
Corrigendum to Reducing ω-model reflection to iterated syntactic reflection
scientific article; zbMATH DE number 7712964

    Statements

    Corrigendum to Reducing ω-model reflection to iterated syntactic reflection (English)
    0 references
    14 July 2023
    0 references
    reflection principles
    0 references
    ordinal analysis
    0 references
    second-order arithmetic
    0 references

    Identifiers