Logic Colloquium '98: Lecture Notes in Logic 13Sam Buss, Petr Hajek, Pavel Pudlak A compilation of papers presented at the 1998 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '98 includes surveys and research from the world's preeminent logicians. Topics cover current research from all areas of mathematical logic, including Proof Theory, Set Theory, Model Theory, Computability Theory, and Philosophy. This book will be of interest to students and researchers of mathematical logic. |
Contents
Qualitative and Probabilistic Models of Full Belief | 25 |
Relative Splittings of O2 in the 42 Enumeration Degrees | 44 |
A Realizability Interpretation for Classical Arithmetic | 57 |
Copyright | |
23 other sections not shown
Other editions - View all
Common terms and phrases
admissible set algebra arithmetic assume axioms Baire belief base Boolean bounded Claim complete computable construction contains core Corollary countable defined definition degrees denote distributive lattice e-degrees elements entailment relation entrenchment enumerable equivalent exists extender finite formula function fuzzy fuzzy logic given Gödel logic H-subanalytic Hájek hence holds homomorphism ideal implies induction infinite initial segment isomorphism iteration Jónsson lattice Lecture Notes Lemma length local ring M-finite Martin-Löf type theory Math Mathematics measurable cardinal natural numbers normal notion o-minimal obtain ordinal polynomial predicate primitive recursive proof proof-theoretic Proposition prove quantifier quantifier elimination reduction result rule semi-Thue system sequence set theory strings strong cardinals structure subset Symbolic Logic T₁ Theorem tp(h tree Turing Turing degrees type theory universe variables well-ordering