Recursive Definitions and Fixed-Points (Q5178958)

From MaRDI portal
scientific article; zbMATH DE number 6416471
Language Label Description Also known as
English
Recursive Definitions and Fixed-Points
scientific article; zbMATH DE number 6416471

    Statements

    Recursive Definitions and Fixed-Points (English)
    0 references
    18 March 2015
    0 references
    recursive definitions
    0 references
    fixed points
    0 references
    Beth's definability theorem
    0 references

    Identifiers