Master your Minecraft
 
 

Special Offers see all

Enter to WIN a $100 Credit

Subscribe to PowellsBooks.news
for a chance to win.
Privacy Policy

Tour our stores


    Recently Viewed clear list


    What I'm Giving | December 4, 2014

    Fred Armisen: IMG Fred Armisen: What I'm Giving



    At Powell's, we feel the holidays are the perfect time to share our love of books with those close to us. For this special blog series, we reached... Continue »

    spacer
Qualifying orders ship free.
$10.50
Sale Trade Paper
Ships in 1 to 3 days
Add to Wishlist
Qty Store Section
1 Burnside Mathematics- Foundations and Logic

Elementary Induction on Abstract Structures

by

Elementary Induction on Abstract Structures Cover

 

Synopses & Reviews

Publisher Comments:

Hailed by the Bulletin of the American Mathematical Society as "easy to use and a pleasure to read," this research monograph is recommended for students and professionals interested in model theory and definability theory. The sole prerequisite is a familiarity with the basics of logic, model theory, and set theory.

The author, Professor of Mathematics at UCLA and Emeritus Professor of Mathematics,University of Athens, Greece, begins with a focus on the theory of inductive and hyperelementary sets. Subsequent chapters advance to acceptable structures and countable acceptable structures, concluding with the main result of the Barwise-Gandy-Moschovakis theory, which is the key to many applications of  abstract recursion theory. Exercises at the end of each chapter form an integral part of the text, offering examples useful to the development of the general theory and outlining the theory's extensions.

Synopsis:

Well-written research monograph, recommended for students and professionals interested in model theory and definability theory. "Easy to use and a pleasure to read." — Bulletin of the American Mathematical Society. 1974 edition.

Synopsis:

Well-written research monograph, recommended for students and professionals interested in model theory and definability theory. "Easy to use and a pleasure to read." — Bulletin of the American Mathematical Society. 1974 edition.

Table of Contents

Preface
Introduction
1. Positive elementary inductive definitions
2. The stages of an inductive definition
3. Structure theory for inductive relations
4. Games and game quantifiers
5. Acceptable structures
6. Inductive second order relations
7. Second order characterizations
8. Countable acceptable structures
9. The next admissible set
References
Index
Index of symbols

Product Details

ISBN:
9780486466781
Author:
Moschovakis, Yiannis
Publisher:
Dover Publications
Author:
Moschovakis, Yiannis N.
Author:
Mathematics
Subject:
Recursive functions
Subject:
Induction (Mathematics)
Subject:
General
Subject:
Logic
Subject:
Mathematics-Logic and Philosophy
Copyright:
Edition Description:
Trade Paper
Series:
Dover Books on Mathematics
Publication Date:
20080631
Binding:
TRADE PAPER
Language:
English
Illustrations:
Y
Pages:
240
Dimensions:
8.5 x 5.38 in 0.56 lb

Related Subjects

Science and Mathematics » Mathematics » Algebra » Abstract Algebra
Science and Mathematics » Mathematics » Foundations and Logic
Science and Mathematics » Mathematics » General
Science and Mathematics » Mathematics » Logic and Philosophy
Science and Mathematics » Physics » General

Elementary Induction on Abstract Structures Sale Trade Paper
0 stars - 0 reviews
$10.50 In Stock
Product details 240 pages Dover Publications - English 9780486466781 Reviews:
"Synopsis" by ,
Well-written research monograph, recommended for students and professionals interested in model theory and definability theory. "Easy to use and a pleasure to read." — Bulletin of the American Mathematical Society. 1974 edition.
"Synopsis" by ,
Well-written research monograph, recommended for students and professionals interested in model theory and definability theory. "Easy to use and a pleasure to read." — Bulletin of the American Mathematical Society. 1974 edition.
spacer
spacer
  • back to top

FOLLOW US ON...

     
Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.