English Deutsch Français 简体中文 繁體中文
Book123, Download eBooks for Free - Anytime! Submit your article

Categories

Share With Friends



Like Book123?! Give us +1

Archive by Date

Search Tag

Newest

Useful Links


Descriptive Set Theory and Forcing: How to Prove Theorems About Borel Sets the Hard Way (Lecture Notes in Logic, 4)

Posted on 2010-04-14




Name:Descriptive Set Theory and Forcing: How to Prove Theorems About Borel Sets the Hard Way (Lecture Notes in Logic, 4)
ASIN/ISBN:3540600590
Publish Date:1995-09
Pages:130 pages
File size:9 Mb
Publish Date: 1995-09
ISBN: 3540600590
Pages: 130 pages
File Type: PDF
File Size: 9 MB
Other Info: Springer
   Descriptive Set Theory and Forcing: How to Prove Theorems About Borel Sets the Hard Way (Lecture Notes in Logic, 4)



More

This text is an advanced graduate course with some knowledge of forcing is assumed along with some elementary mathematical logic and set theory. The first half of the text deals with the general area of Borel hierarchies. What are the possible lengths of a Borel hierarchy in a separable metric space? Lebesgue showed that in an uncountable complete separable metric space the Borel hierarchy has uncountably many distinct levels, but for incomplete spaces the answer is independent. The second half includes Harrington's Theorem - it is consistent to have sets on the second level of the projective hierarchy size less than on the continuum and a proof and applications of Louveau's Theorem on hyperprojective parameters.

Buy Book at Lowest Price on Amazon

Rating:

2.5 out of 5 by

 
Download Links
  ServerStatus
  Direct Download Link 1Alive
  Direct Download Link 2Alive
  Download Link (Download)Alive
  Download Link (Mirror)Alive


Buy This Book at Best Price >>

Like this article?! Give us +1:

Related Articles


Science/Engineering Descriptive Set Theory and the Structure of Sets of Uniqueness

Science/Engineering Descriptive Set Theory and the Structure of Sets of Uniqueness

Alexander S. Kechris, Alain Louveau “Descriptive Set Theory and the Structure of Sets of Uniqueness" Cambridge University Press | 1987-11-27 | ISBN:0521358116 | Djvu | 384 pages | 14,5 Mb The authors present some surprising connections ...

Complexity, Logic, and Recursion Theory (Lecture Notes in Pure and Applied Mathematics)

Complexity, Logic, and Recursion Theory (Lecture Notes in Pure and Applied Mathematics)

Complexity, Logic, and Recursion Theory (Lecture Notes in Pure and Applied Mathematics) Publisher: CRC | ISBN: 0824700260 | edition 1997 | DJVU + html | 384 pages | 11,32 mb"Integrates two classical approaches to computability. Offers deta ...

Technical Termination Proofs for Logic Programs (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

Technical Termination Proofs for Logic Programs (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

ISBN: 3540528377 Publisher: Springer Author: Lutz PlümerDescription:Termination proofs constitute a crucial part of program verification. Much research about termination has been done in the context of term rewriting systems. But until n ...

Technical Automated Deduction in Equational Logic and Cubic Curves (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

Technical Automated Deduction in Equational Logic and Cubic Curves (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

ISBN: 3540613986 Publisher: Springer Author: William McCune, R. PadmanabhanDescription:This monograph is the result of the cooperation of a mathematician working in universal algebra and geometry, and a computer scientist working in automat ...

Mathematics Descriptive Set Theory and the Structure of Sets of Uniqueness (London Mathematical Society Lecture Note Series)

Mathematics Descriptive Set Theory and the Structure of Sets of Uniqueness (London Mathematical Society Lecture Note Series)

Author: Alexander S. Kechris, Alain LouveauPublisher: Cambridge University Press (1987)Binding: Paperback, 380 pagespricer: $75.00ISBN-10: 0521358116editorialreviewsThe authors present some surprising connections that sets of uniqueness for ...

Mathematics Inductive Logic Programming: 14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

Mathematics Inductive Logic Programming: 14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

Author: Publisher: Springer (2004)Binding: Paperback, 361 pagespricer: $72.00ISBN-10: 3540229418editorialreviewsThis book constitutes the refereed proceedings of the 14th International Conference on Inductive Logic Programming, ILP 2004, he ...

Share this page with your friends now!
Text link
Forum (BBCode)
Website (HTML)
Tags:
Forcing   Lecture   Logic   Theory   Notes  
 

DISCLAIMER:

This site does not store Descriptive Set Theory and Forcing: How to Prove Theorems About Borel Sets the Hard Way (Lecture Notes in Logic, 4) on its server. We only index and link to Descriptive Set Theory and Forcing: How to Prove Theorems About Borel Sets the Hard Way (Lecture Notes in Logic, 4) provided by other sites. Please contact the content providers to delete Descriptive Set Theory and Forcing: How to Prove Theorems About Borel Sets the Hard Way (Lecture Notes in Logic, 4) if any and email us, we'll remove relevant links or contents immediately.

Comments (0) All

Verify: Verify

    Sign In   Not yet a member?

Sign In | Not yet a member?