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 | 45 |
An Axiomatization of Quantified Propositional Gödel Logic Using | 91 |
Copyright | |
22 other sections not shown
Other editions - View all
Common terms and phrases
A₁ admissible set algebra arithmetic assume axiom B₁ Baire belief base Boolean bounded Claim complete complete Heyting algebra 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 Gödel logic H-subanalytic Hájek hence holds homomorphism 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