Borrow it
Coverart for item
The Resource A framework for priority arguments, Manuel Lerman

A framework for priority arguments, Manuel Lerman

Creator
Summary
"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"--Provided by publisher
Language
eng
Work
Publication
Extent
xvi, 176 p.
Isbn
9780521119696
Instance
Label
A framework for priority arguments
Title
A framework for priority arguments
Statement of responsibility
Manuel Lerman
Creator
Subject
Language
eng
Summary
"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"--Provided by publisher
Member of
Cataloging source
DLC
http://library.link/vocab/creatorDate
1943-
http://library.link/vocab/creatorName
Lerman, M.
Index
no index present
LC call number
QA9.54
LC item number
.L47 2010
Literary form
non fiction
Nature of contents
bibliography
Series statement
Lecture notes in logic
Series volume
34
http://library.link/vocab/subjectName
  • Proof theory
  • Priority (Philosophy)
  • Logic, Symbolic and mathematical
  • Logic, Symbolic and mathematical
  • Priority (Philosophy)
  • Proof theory
Label
A framework for priority arguments, Manuel Lerman
Instantiates
Publication
Bibliography note
Includes bibliographical references (p. 175-176)
Dimensions
24 cm.
Extent
xvi, 176 p.
Isbn
9780521119696
Isbn Type
(hardback)
Lccn
2010005437
Other physical details
ill.
System control number
  • (OCoLC)537641159
  • (OCoLC)ocn537641159
Label
A framework for priority arguments, Manuel Lerman
Publication
Bibliography note
Includes bibliographical references (p. 175-176)
Dimensions
24 cm.
Extent
xvi, 176 p.
Isbn
9780521119696
Isbn Type
(hardback)
Lccn
2010005437
Other physical details
ill.
System control number
  • (OCoLC)537641159
  • (OCoLC)ocn537641159

Subject

Member of

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784

Library Links

Zepheira Logo
Structured data from the Bibframe namespace is licensed under the Creative Commons Attribution 4.0 International License by Boston University Libraries. Additional terms may apply to data associated with third party namespaces.
Processing Feedback ...