Larson and Zapletal introduce geometric set theory as a new area of mathematics that compares transitive models of set theory with respect to the extensional agreement and definability. Looking first at equivalence relations, they consider the vi...Lasīt vairāk
Sērija : London Mathematical Society Student Texts
(Izdošanas datums: 15-Oct-2020, Hardback, Izdevniecība: Cambridge University Press, ISBN-13: 9781108420150)
This book provides a quick yet detailed introduction to set theory and forcing, building the readers intuition about it as well as rigorousness. Part II discusses contemporary issues in the theory of forcing, including previously unpublished results...Lasīt vairāk
This book provides a quick yet detailed introduction to set theory and forcing, building the readers intuition about it as well as rigorousness. Part II discusses contemporary issues in the theory of forcing, including previously unpublished results...Lasīt vairāk
Larson and Zapletal introduce geometric set theory as a new area of mathematics that compares transitive models of set theory with respect to the extensional agreement and definability. Looking first at equivalence relations, they consider the vi...Lasīt vairāk
Šī grāmata vairs netiek publicēta. Jums tiks paziņota lietotas grāmatas cena
This introduction to modern set theory opens the way to advanced current research. Coverage includes the axiom of choice and Ramsey theory, and a detailed explanation of the sophisticated technique of forcing. Offers notes, related results and refere...Lasīt vairāk
Chi Tat Chong, W Hugh Woodin, Theodore A Slaman, Yue Yang, Qi Feng
Sērija : Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore
(Izdošanas datums: 22-Sep-2015, Hardback, Izdevniecība: World Scientific Publishing Co Pte Ltd, ISBN-13: 9789814699945)
This volume presents the lecture notes of short courses given by three leading experts in mathematical logic at the 2010 and 2011 Asian Initiative for Infinity Logic Summer Schools. The major topics covered set theory and recursion theory, with part...Lasīt vairāk
Chi Tat Chong, Qi Feng, Yue Yang, Theodore A Slaman, W Hugh Woodin
Sērija : Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore
(Izdošanas datums: 24-Jul-2014, Hardback, Izdevniecība: World Scientific Publishing Co Pte Ltd, ISBN-13: 9789814602631)
This volume presents the lecture notes of short courses given by three leading experts in mathematical logic at the 2012 Asian Initiative for Infinity Logic Summer School. The major topics cover set-theoretic forcing, higher recursion theory, and app...Lasīt vairāk
Chi Tat Chong, Qi Feng, Yue Yang, Theodore A Slaman, W Hugh Woodin
Sērija : Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore
(Izdošanas datums: 24-Jul-2014, Paperback / softback, Izdevniecība: World Scientific Publishing Co Pte Ltd, ISBN-13: 9789814603256)
This volume presents the lecture notes of short courses given by three leading experts in mathematical logic at the 2012 Asian Initiative for Infinity Logic Summer School. The major topics cover set-theoretic forcing, higher recursion theory, and app...Lasīt vairāk
(Izdošanas datums: 19-May-2014, Paperback / softback, Izdevniecība: World Scientific Publishing Co Pte Ltd, ISBN-13: 9789814566957)
Ever since Paul Cohens spectacular use of the forcing concept to prove the independence of the continuum hypothesis from the standard axioms of set theory, forcing has been seen by the general mathematical community as a subject of great intrinsic i...Lasīt vairāk
(Izdošanas datums: 24-Apr-2014, Hardback, Izdevniecība: World Scientific Publishing Co Pte Ltd, ISBN-13: 9789814566001)
Weaver explains the basic machinery of forcing to fellow mathematics assuming no background in logic beyond the facility with formal syntax that should be second nature to any well trained mathematician. He emphasizes applications outside of set theo...Lasīt vairāk
Stevo Todorcevic, Chi Tat Chong, Qi Feng, Theodore A Slaman, W Hugh Woodin, Yue Yang
Sērija : Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore
(Izdošanas datums: 19-Feb-2014, Hardback, Izdevniecība: World Scientific Publishing Co Pte Ltd, ISBN-13: 9789814571579)
In the mathematical practice, the Baire category method is a tool for establishing the existence of a rich array of generic structures. However, in mathematics, the Baire category method is also behind a number of fundamental results such as the Open...Lasīt vairāk
(Izdošanas datums: 07-Feb-2008, Hardback, Izdevniecība: Cambridge University Press, ISBN-13: 9780521874267)
Unites descriptive set theory and definable proper forcing and explores the relations between them. Both forcing and descriptive set theory are explained independently, their sub-areas described, following their commitment to each other. This text hi...Lasīt vairāk
Forcing is a powerful tool from logic which is used to prove that certain propositions of mathematics are independent of the basic axioms of set theory, ZFC. Forcing is a powerful tool from logic which is used to prove that certain propositio...Lasīt vairāk
(Izdošanas datums: 22-Jan-1987, Hardback, Izdevniecība: Cambridge University Press, ISBN-13: 9780521266598)
Professor Jech gives here a unified treatment of the various forcing methods used in set theory, and presents their important applications. Product forcing, iterated forcing and proper forcing have proved powerful tools when studying the foundations...Lasīt vairāk
