An application of a reflection principle (Q4811317)

From MaRDI portal
scientific article; zbMATH DE number 2092549
Language Label Description Also known as
English
An application of a reflection principle
scientific article; zbMATH DE number 2092549

    Statements

    An application of a reflection principle (English)
    0 references
    19 August 2004
    0 references
    fragments of arithmetic
    0 references
    bounded induction
    0 references
    definable elements
    0 references

    Identifiers