This book presents a unifying framework for using priority arguments to prove theorems in computability. Priority arguments provide the most powerful theorem-proving technique in the field, but most of the applications of this technique are ad hoc, masking the unifying principles used in the proofs. The proposed framework presented isolates many of these unifying combinatorial principles and uses them to give shorter and easier-to-follow proofs of computability-theoretic theorems. Standard theorems of priority levels 1, 2, and 3 are chosen to demonstrate the framework's use, with all proofs following the same pattern. The last section features a new example requiring priority at all finite levels. The book will serve as a resource and reference for researchers in logic and computability, helping them to prove theorems in a shorter and more transparent manner.

About the Author:

Manuel Lerman is a Professor Emeritus of the Department of Mathematics at the University of Connecticut. He is the author of Degrees of Unsolvability: Local and Global Theory, has been the managing editor for the book series Perspectives in Mathematical Logic, has been an editor of Bulletin for Symbolic Logic, and is an editor of the ASL's Lecture Notes in Logic series.

"About this title" may belong to another edition of this title.

Store Description

Independent Bookstores since 1971.

Visit Seller's Storefront

Association Member

Members of these associations are committed to maintaining the highest standards. They vouch for the authenticity of all items offered for sale. They provide expert and detailed descriptions, disclose all significant defects and/or restorations, provide clear and accurate pricing, and operate with fairness and honesty during the purchase experience.

Seller's business information

Powell's Bookstores Chicago, ABAA
1501 E. 57th Street, Chicago, IL, 60637, U.S.A.

Terms of Sale:

All items subject to prior sale. No questions asked refunds within 60 days. For shipping rates, click "Shipping: Rates & Speed" above. Powells Bookstore Inc., 3429 W. 47th Street, Chicago, IL 60632; catorders@powellschicago.com; 773-376- 8106. VAT: N/A.

Shipping Terms:

Orders ship within 2 business days. Domestic standard orders shipped via
USPS Bound Printed Matter; Domestic Expedited orders shipped via FedEx or UPS
Ground. All International orders shipped via courier, typically arriving
within 7-21 business days. Expedited and Standard International rates are the
same.

Payment Methods
accepted by seller

Add to Wants

Items related to A Framework for Priority Arguments (Lecture Notes in...

A Framework for Priority Arguments (Lecture Notes in Logic)

Lerman, Manuel

Used - Hardcover

Seller's business information