Logical metatheorems for abstract spaces axiomatized in positive bounded logic (Q908073)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Logical metatheorems for abstract spaces axiomatized in positive bounded logic
scientific article

    Statements

    Logical metatheorems for abstract spaces axiomatized in positive bounded logic (English)
    0 references
    0 references
    0 references
    2 February 2016
    0 references
    proof mining
    0 references
    positive bounded logic
    0 references
    ultrapower
    0 references
    uniform boundedness principle
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references