Browse through e-books

An observation on the product of Silver's forcing

Recursively unsolvable algorithmic problems and related questions reexamined

Lectures on large cardinal axioms

Indescribability properties and small large cardinals

Marginalia to a theorem of Silver

Computation theories: An axiomatic approach to recursion on general structures

Closed models and hulls of theories

Axioms of choice in Morse-Kelley class theory

First-order logic and its extensions

Set theory in infinitary languages

Sur la méthode en histoire de la logioue

The model theory of local fields

Quantifier elimination

Intensional semantics for natural language

On extendability of models of ZF set theory to the models of Kelley-Morse theory of classes

Many-valued algorithmic logic

The least ∑<Stack> <Subscript>2</Subscript> <Superscript>1</Superscript> </Stack> and ∏<Stack> <Subscript>2</Subscript> <Superscript>1</Superscript> </Stack> reflecting ordinals

Data types as lattices