Fixed-point extensions of first-order logic (Q1090327)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Fixed-point extensions of first-order logic |
scientific article; zbMATH DE number 4006239
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Fixed-point extensions of first-order logic |
scientific article; zbMATH DE number 4006239 |
Statements
Fixed-point extensions of first-order logic (English)
0 references
1986
0 references
The authors define fixed-point-extensions of first-order logic by the least fixed point predicate LFP, by the monotone fixed point predicate LFP', and the inflationary fixed point predicate IFP, respectively. It is proved that these three extensions have the same expressive power on finite structures.
0 references
fixed-point-extensions of first-order logic
0 references
least fixed point
0 references
monotone fixed point predicate
0 references
inflationary fixed point predicate
0 references
expressive power on finite structures
0 references
0 references
0.92121863
0 references
0 references
0.9148298
0 references
