Fixed-point extensions of first-order logic

The work

AuthorsYuri Gurevich; Saharon Shelah
Editors
Typearticle
Year1986
Citekeygurevich1986fixed

Where it appeared

Published inAnnals of Pure and Applied Logic
PublisherElsevier
Volume32
Pages265--280

Identifiers

DOI10.1016/0168-0072(86)90055-2
ISSN0168-0072

How it got here

How it got hereagent via bibtex
Added2026-08-05 00:00 UTC
Approved bya person 2026-08-17 08:41 UTC

Cite it as

@article{gurevich1986fixed,
  title        = {Fixed-point extensions of first-order logic},
  author       = {Yuri Gurevich and Saharon Shelah},
  year         = {1986},
  journal      = {Annals of Pure and Applied Logic},
  publisher    = {Elsevier},
  volume       = {32},
  pages        = {265--280},
  issn         = {0168-0072},
  doi          = {10.1016/0168-0072(86)90055-2},
}

This record lives at https://refs.drheap.org/gurevich1986fixed/ and will keep doing so.