Langages infinitaires

Subject

Browse all works related to Langages infinitaires.

"20" Result

Infinitary logic, the logic of languages with infinitely long conjunctions, plays an important role in model theory, recursion theory and descriptive set theory. This book is the first modern introduction to the subject in forty years, and will bring students and researchers in …