TY - GEN
T1 - FIXED-POINT EXTENSIONS OF FIRST-ORDER LOGIC.
AU - Gurevich, Yuri
AU - Shelah, Saharon
PY - 1985
Y1 - 1985
N2 - It is proved that the three extensions of first-order logic by means of positive inductions, monotone inductions, and so-called nonmonotone (in our terminology, inflationary) indications respectively, all have the same expressive power in the case of finite structures. As a byproduct, the collapse of the corresponding fixed-point hierarchies can be deduced.
AB - It is proved that the three extensions of first-order logic by means of positive inductions, monotone inductions, and so-called nonmonotone (in our terminology, inflationary) indications respectively, all have the same expressive power in the case of finite structures. As a byproduct, the collapse of the corresponding fixed-point hierarchies can be deduced.
UR - https://www.scopus.com/pages/publications/0022228092
U2 - 10.1109/sfcs.1985.27
DO - 10.1109/sfcs.1985.27
M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???
AN - SCOPUS:0022228092
SN - 0818606444
SN - 9780818606441
T3 - Annual Symposium on Foundations of Computer Science (Proceedings)
SP - 346
EP - 353
BT - Annual Symposium on Foundations of Computer Science (Proceedings)
PB - IEEE
ER -