Logic Colloquium '03: Lecture Notes in Logic 24Viggo Stoltenberg-Hansen, Jouko Väänänen A compilation of papers presented at the 2003 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '03 includes tutorials and research articles from some of the world's preeminent logicians. One article is a tutorial on finite model theory and query languages that lie between first order and second order logic. The other articles cover current research topics in all areas of mathematical logic, including Proof Theory, Set Theory, Model Theory, and Computability Theory, and Philosophy. |
Contents
Generalizing finite model theory | 3 |
Arthur W Apter | 27 |
Boykin and Steve Jackson | 38 |
Copyright | |
13 other sections not shown
Other editions - View all
Common terms and phrases
abstract algebras arithmetic assume Borel Borel equivalence relation bounded calculus classical natural deduction complexity Computer Science construction Continuum Hypothesis countable cut-system defined definition denote differential dist(x domain elementary embedding embedding equivalence relation exists extension feedback equation finite model finite model theory first-order queries fixed FOGEN forcing formula function hence hermitian implies induction infinite interpretation intuitionistic invertible language Large Cardinals Lecture Notes Lemma Logic Colloquium M₁ Mathematical measurable cardinal modal logics model theory natural deduction normal form order-continuity partial ordering Polish space polynomial predicate problem properties Proposition provable prove quantifier recursive reduction regular cardinal rules Section sequence set theory stab stability strategy strong normalization strongly compact cardinal strongly decidable strongly minimal structure subset supercompact Suppose Symbolic Logic term topology trivial uncountable variables