Fixed-point extensions of first-order logic

Yuri Gurevich; Saharon Shelah

doi:10.1016/0168-0072(86)90055-2

Fixed-point extensions of first-order logic

Yuri Gurevich^*
, Saharon Shelah

^*Corresponding author for this work

Einstein Institute of Mathematics

Research output: Contribution to journal › Article › peer-review

155 Scopus citations

Abstract

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.

Original language	English
Pages (from-to)	265-280
Number of pages	16
Journal	Annals of Pure and Applied Logic
Volume	32
Issue number	C
DOIs	https://doi.org/10.1016/0168-0072(86)90055-2
State	Published - 1986

Access to Document

10.1016/0168-0072(86)90055-2

Cite this

@article{be94c338bfe54aaaa146eedec3fa549e,

title = "Fixed-point extensions of first-order logic",

abstract = "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.",

author = "Yuri Gurevich and Saharon Shelah",

year = "1986",

doi = "10.1016/0168-0072(86)90055-2",

language = "אנגלית",

volume = "32",

pages = "265--280",

journal = "Annals of Pure and Applied Logic",

issn = "0168-0072",

publisher = "Elsevier BV",

number = "C",

}

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 - https://www.scopus.com/pages/publications/38249042304

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 -

Fixed-point extensions of first-order logic

Abstract

Access to Document

Other files and links

Fingerprint

Cite this