Recursive definitions and fixed-points on well-founded structures

An expression such as ∀ x ( P ( x ) ↔ ϕ ( P ) ) , where P occurs in ϕ ( P ) , does not always define P . When such an expression implicitly defines P , in the sense of Beth (1953) [1] and Padoa (1900) [13], we call it a recursive definition. In the Least Fixed-Point Logic (LFP), we have theories whe...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Theoretical computer science Jg. 412; H. 37; S. 4893 - 4904
Hauptverfasser:	Ferreira, Francicleber Martins, Martins, Ana Teresa
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier B.V 26.08.2011
Schlagworte:	Beth’s definability theorem Computer simulation Constrictions Fixed points (mathematics) Fixed-points Fragments Logic Mathematical analysis Mathematical models Recursive Recursive definitions Theorems Beth’s definability theorem Recursive definitions Fixed-points
ISSN:	0304-3975, 1879-2294
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!