From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/4448 Path: news.gmane.org!not-for-mail From: Jaap van Oosten Newsgroups: gmane.science.mathematics.categories Subject: New Book: Jaap van Oosten - Realizability Date: Fri, 18 Jul 2008 16:31:58 +0200 Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1241019952 13340 80.91.229.2 (29 Apr 2009 15:45:52 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:45:52 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Sat Jul 19 11:27:35 2008 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Sat, 19 Jul 2008 11:27:35 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1KKDPD-000271-US for categories-list@mta.ca; Sat, 19 Jul 2008 11:27:28 -0300 User-Agent: Thunderbird 1.5.0.10 (X11/20070304) Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 15 Original-Lines: 20 Xref: news.gmane.org gmane.science.mathematics.categories:4448 Archived-At: The following book appeared in April this year: Jaap van Oosten - Realizability: an Introduction to its Categorical Side Studies in Logic 152, Elsevier This book is a monograph about the effective topos and related toposes. The book is intended to provide advanced undergraduate students and Ph.D. students with a concise introduction to the effective topos. Contains introductions to partial combinatory algebras, tripos theory, construction of the effective topos. Synthesizes the existing literature, making a lot of material accessible to all readers. Many applications to recursive analysis, intuitionistic set theory, synthetic domain theory. Reviews abstract aspects of the effective topos construction. Variations are also developed, such as Lifschitz realizability, Modified realizability, Kleene-Vesley realizability. For Preface, Introduction and Table of Contents see: http://www.math.uu.nl/people/jvoosten/boekbegin.pdf