लेखक: Gerald E Sacks

This invaluable book is a collection of 31 important — both in ideas and results — papers published by mathematical logicians in the 20th Century. The papers have been selected by Professor Gerald E …

The author selects 23 of his papers in mathematical logic that pursue definability via priority, forcing, compactness and fine structure applied to classical recursion, hyperarithmetic sets, recursio …

This book contains the material for a first course in pure model theory with applications to differentially closed fields. Topics covered in this book include saturated model criteria for model compl …