Fixed-point extensions of first-order logic
Gurevich, Yuri; Shelah, Saharon
1986
Citation: Gurevich, Yuri, Shelah, Saharon (1986)."Fixed-point extensions of first-order logic." Annals of Pure and Applied Logic 32(): 265-280. <http://hdl.handle.net/2027.42/26387>
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.
DOIs: http://dx.doi.org/10.1016/0168-0072(86)90055-2
URI: http://www.sciencedirect.com/science/article/B6TYB-48HRXG0-K/2/fb3ff9a0dc968d453996832b4e678476
Handle: http://hdl.handle.net/2027.42/26387
Show full item record

PDF file
Download
Name: 0000474.pdf
Size: 1.1MB
Format: PDF

This item appears in the following Collection(s)


Search Deep Blue

Advanced Search

Browse by

My Account

Information


MLibrary logo