Omega can be anything it should not be

J.C.M. Baeten, B. Boerboom

    Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

    10 Citaten (Scopus)
    37 Downloads (Pure)

    Samenvatting

    Let O be the ¿-term (¿x.xx) (¿x.xx). Correcting and supplementing Jacopini [1975], it will be shown by a prooftheoretical argument that Con(¿¿ + O = M) for an arbitrary closed ¿-term M. By changing the pairingfunction in the graphmodel P¿, cf. Scott [1975], it will be shown that for arbitrary closed M one may have P¿=¿=M, giving a modeltheoretic proof of Con(¿ + O = M).
    Originele taal-2Engels
    Pagina's (van-tot)111-120
    TijdschriftIndagationes Mathematicae (Proceedings)
    Volume82
    Nummer van het tijdschrift2
    DOI's
    StatusGepubliceerd - 1979

    Vingerafdruk Duik in de onderzoeksthema's van 'Omega can be anything it should not be'. Samen vormen ze een unieke vingerafdruk.

    Citeer dit