Monotone Relations, Fixed Points and Recursive Definitions

Back to previous page
Send link

Article

    • Pages: 125 to 164
    •  
    •  
    • ISBN: 978-1-4020-9083-7
    •  
    • Creation date: 04-01-2011
    • Last update: 02-11-2015

    Abstract

    Anglais

    Partially Ordered Sets; – Monotone Relations; – Arithmetic Recursion and Fixed-Points; – The Downward Löwenheim-Skolem-Tarski Theorem.

    Keywords