Bar Induction and Π<sub>1</sub><sup>1</sup>-<i>CA</i> (Q5573362)

From MaRDI portal
scientific article; zbMATH DE number 3289422
Language Label Description Also known as
English
Bar Induction and Π<sub>1</sub><sup>1</sup>-<i>CA</i>
scientific article; zbMATH DE number 3289422

    Statements

    Bar Induction and Π<sub>1</sub><sup>1</sup>-<i>CA</i> (English)
    0 references
    0 references
    1969
    0 references
    algebraic logic, model theory
    0 references

    Identifiers