TY - JOUR
T1 - Fixed-point extensions of first-order logic
AU - Gurevich, Yuri
AU - Shelah, Saharon
PY - 1986
Y1 - 1986
N2 - We prove that the three extensions of first-order logic by means of positive inductions, monotone inductions, and so-called non-monotone (in our terminology, inflationary) inductions respectively, all have the same expressive power in the case of finite structures.
AB - We prove that the three extensions of first-order logic by means of positive inductions, monotone inductions, and so-called non-monotone (in our terminology, inflationary) inductions respectively, all have the same expressive power in the case of finite structures.
UR - http://www.scopus.com/inward/record.url?scp=38249042304&partnerID=8YFLogxK
U2 - 10.1016/0168-0072(86)90055-2
DO - 10.1016/0168-0072(86)90055-2
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:38249042304
SN - 0168-0072
VL - 32
SP - 265
EP - 280
JO - Annals of Pure and Applied Logic
JF - Annals of Pure and Applied Logic
IS - C
ER -