che-chandler.de

Computational Prospects Of Infinity - Part Ii: Presented Talks

PROC OF THE 6TH ASIAN LOGIC CONF

Computational Prospects Of Infinity - Part I: Tutorials

E-recursion, Forcing And C*-algebras

PROC OF THE 10TH ASIAN LOGIC CONF

NOTES ON FORCING AXIOMS

In the mathematical practice, the Baire category method is a tool for establishing the existence ...

E-RECURSION, FORCING AND C*-ALGEBRAS

This volume presents the lecture notes of short courses given by three leading experts in mathema...

FORCING, ITERATED ULTRAPOWERS, AND TURING DEGREES

This volume presents the lecture notes of short courses given by three leading experts in mathema...

SLICING THE TRUTH

This book is a brief and focused introduction to the reverse mathematics and computability theory...

INFINITY AND TRUTH

This volume is based on the talks given at the Workshop on Infinity and Truth held at the Institu...

Computational Prospects Of Infinity - Part I: Tutorials

This volume presents the written versions of the tutorial lectures given at the Workshop on Compu...

Proceedings Of The 10th Asian Logic Conference

The 10th Asian Logic Conference is part of the series of logic conferences inaugurated in Singapo...