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
{"_id":"E7FwnJBT7BCZPoN6C","bibbaseid":"gurevich-shelah-fixedpointextensionsoffirstorderlogic-1986","downloads":0,"creationDate":"2015-12-16T16:12:44.913Z","title":"Fixed-point extensions of first-order logic","author_short":["Gurevich, Y.","Shelah, S."],"year":1986,"bibtype":"article","biburl":"https://shelah.logic.at/v1/listb.bib","bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Gurevich"],"firstnames":["Yuri"],"suffixes":[]},{"propositions":[],"lastnames":["Shelah"],"firstnames":["Saharon"],"suffixes":[]}],"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","bibtex":"@article{GuSh:244a,\nauthor = {Gurevich, Yuri and Shelah, Saharon},\nams-subject = {(03C80)},\nfromwhere = {1,IL},\njournal = {Annals of Pure and Applied Logic},\nreview = {MR 88b:03056},\npages = {265--280},\ntitle = {{Fixed-point extensions of first-order logic}},\nvolume = {32},\nyear = {1986},\n}","author_short":["Gurevich, Y.","Shelah, S."],"key":"GuSh:244a","id":"GuSh:244a","bibbaseid":"gurevich-shelah-fixedpointextensionsoffirstorderlogic-1986","role":"author","urls":{},"downloads":0},"search_terms":["fixed","point","extensions","first","order","logic","gurevich","shelah"],"keywords":[],"authorIDs":[],"dataSources":["nxqkbmSM8shwFsPpY"]}