Filter
Mängdlära
Filter
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have …
This Element is an exposition of second- and higher-order logic and type theory. It begins with a presentation of the syntax and semantics of classical second-order logic, pointing …
Set theory is a branch of mathematics with a special subject matter, the infinite, but also a general framework for all modern mathematics, whose notions figure in every branch, …
This book proves some important new theorems in the theory of canonical inner models for large cardinal hypotheses, a topic of central importance in modern set theory. In …
Set theory is a branch of mathematics with a special subject matter, the infinite, but also a general framework for all modern mathematics, whose notions figure in every branch, …
This Element takes a deep dive into Godel's 1931 paper giving the first presentation of the Incompleteness Theorems, opening up completely passages in it that might possibly puzzle …
This Element takes a deep dive into Gödel's 1931 paper giving the first presentation of the Incompleteness Theorems, opening up completely passages in it that might possibly puzzle …
This Element is an exposition of second- and higher-order logic and type theory. It begins with a presentation of the syntax and semantics of classical second-order logic, pointing …