Fixed-point extensions of first-order logic. Gurevich, Y. & Shelah, S. Annals of Pure and Applied Logic, 32:265–280, 1986.
bibtex   
@article{GuSh:244a,
author = {Gurevich, Yuri and Shelah, Saharon},
ams-subject = {(03C80)},
fromwhere = {1,IL},
journal = {Annals of Pure and Applied Logic},
review = {MR 88b:03056},
pages = {265--280},
title = {{Fixed-point extensions of first-order logic}},
volume = {32},
year = {1986},
}

Downloads: 0