Artículos relacionados a Descriptive Set Theory and Forcing: How to prove theorems...

Descriptive Set Theory and Forcing: How to prove theorems about Borel sets the hard way (Lecture Notes in Logic): 4 - Tapa blanda

Miller, Arnold

 
9783540600596: Descriptive Set Theory and Forcing: How to prove theorems about Borel sets the hard way (Lecture Notes in Logic): 4

Sinopsis

This advanced graduate course assumes some knowledge of forcing as well as some elementary mathematical logic, e.g. the Lowenheim-Skolem Theorem. The first half deals with the general area of Borel hierarchies, probing lines of enquiry such as the possible lengths of a Borel hierarchy in a separable metric space. The second half goes on to include Harrington’s Theorem together with a proof and applications of Louveau’s Theorem on hyperprojective parameters.

"Sinopsis" puede pertenecer a otra edición de este libro.

Críticas

"Miller includes interesting historical material and references. His taste for slick, elegant proofs makes the book pleasant to read. The author makes good use of his sense of humor...Most readers will enjoy the comments, footnotes, and jokes scattered throughout the book." Studia Logica

Reseña del editor

This advanced graduate course assumes some knowledge of forcing as well as some elementary mathematical logic, e.g. the Lowenheim-Skolem Theorem. The first half deals with the general area of Borel hierarchies, probing lines of enquiry such as the possible lengths of a Borel hierarchy in a separable metric space. The second half goes on to include Harrington's Theorem together with a proof and applications of Louveau's Theorem on hyperprojective parameters.

"Sobre este título" puede pertenecer a otra edición de este libro.