View Item 

Show simple item record

Fixed-point extensions of first-order logic

dc.contributor.authorGurevich, Yurien_US
dc.contributor.authorShelah, Saharonen_US
dc.date.accessioned2006-04-07T19:38:52Z
dc.date.available2006-04-07T19:38:52Z
dc.date.issued1986en_US
dc.identifier.citationGurevich, 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>en_US
dc.identifier.urihttp://www.sciencedirect.com/science/article/B6TYB-48HRXG0-K/2/fb3ff9a0dc968d453996832b4e678476en_US
dc.identifier.urihttps://hdl.handle.net/2027.42/26387
dc.description.abstractWe 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.en_US
dc.format.extent1124431 bytes
dc.format.extent3118 bytes
dc.format.mimetypeapplication/pdf
dc.format.mimetypetext/plain
dc.language.isoen_US
dc.publisherElsevieren_US
dc.titleFixed-point extensions of first-order logicen_US
dc.typeArticleen_US
dc.rights.robotsIndexNoFollowen_US
dc.subject.hlbsecondlevelMathematicsen_US
dc.subject.hlbtoplevelScienceen_US
dc.description.peerreviewedPeer Revieweden_US
dc.contributor.affiliationumElectrical Engineering and Computer Science Department, The University of Michigan, Ann Arbor, MI 48109-1109, USA.en_US
dc.contributor.affiliationumEECS Department and Mathematics Department, The University of Michigan, Ann Arbor, MI 48109, USA; Institute of Mathematics and Computer Science, The Hebrew University, 91904, Jerusalem, Israel.en_US
dc.description.bitstreamurlhttp://deepblue.lib.umich.edu/bitstream/2027.42/26387/1/0000474.pdfen_US
dc.identifier.doihttp://dx.doi.org/10.1016/0168-0072(86)90055-2en_US
dc.identifier.sourceAnnals of Pure and Applied Logicen_US
dc.owningcollnameInterdisciplinary and Peer-Reviewed


Files in this item

Name:
0000474.pdf
Size:
1.072MB
Format:
PDF
View/Open

Show simple item record

Remediation of Harmful Language

The University of Michigan Library aims to describe library materials in a way that respects the people and communities who create, use, and are represented in our collections. Report harmful or offensive language in catalog records, finding aids, or elsewhere in our collections anonymously through our metadata feedback form. More information at Remediation of Harmful Language.

Accessibility

If you are unable to use this file in its current format, please select the Contact Us link and we can modify it to make it more accessible to you.