Recursion Theory

Chi Tat Chong, Liang Yu

• Hardcover | Engels | de Gruyter Logic and Its Applications | nr. 8
• This monograph presents recursion theory from a generalized point of view centered on the computational aspects of definability. A major theme is the ... Lees meer

Inner Models and Large Cardinals

Martin Zeman

• Hardcover | Engels | de Gruyter Logic and Its Applications | nr. 5
• This volume is an introduction to inner model theory, an area of set theory which is concerned with fine structural inner models reflecting large card... Lees meer

The Determinacy of Long Games

Itay Neeman

• Hardcover | Engels | de Gruyter Logic and Its Applications | nr. 7
• In this volume the author develops and applies methods for proving, from large cardinals, the determinacy of definable games of countable length on na... Lees meer

Fine Structure and Class Forcing

Sy D Friedman

• Hardcover | Engels | de Gruyter Logic and Its Applications | nr. 3
• No detailed description available for "Fine Structure and Class Forcing". Lees meer

The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal

W Hugh Woodin

• Hardcover | Engels | de Gruyter Logic and Its Applications | nr. 1
• The starting point for this monograph is the previously unknown connection between the Continuum Hypothesis and the saturation of the non-stationary i... Lees meer

One Hundred Years of Russell´s Paradox

• Hardcover | Engels | de Gruyter Logic and Its Applications | nr. 6
• The papers collected in this volume represent the main body of research arising from the International Munich Centenary Conference in 2001, which comm... Lees meer

Ordinal Computability

Merlin Carl

• Hardcover | Engels | de Gruyter Logic and Its Applications | nr. 9
• Ordinal Computability discusses models of computation obtained by generalizing classical models, such as Turing machines or register machines, to tran... Lees meer