What people are saying - Write a review
We haven't found any reviews in the usual places.
Collapsing PolynomialTime Degrees
Qualitative and Probabilistic Models of Full Belief
Relative Splittings of 0 in the A Enumeration Degrees
24 other sections not shown
admissible set algebra analytic arithmetic Artin Approximation assume automorphism axioms Baire belief base Boolean bounded Claim closed complete condition construction contains core Corollary countable defined definition denote distributive lattice e-degrees elements embedding entailment relation entrenchment equivalent exists extender finite fixed point formula function fuzzy logic given Godel logic Hajek hence holds homomorphism ideal implies induction infinite initial segment inner model isomorphism iteration Jonsson KPMr Lecture Notes Lemma length Logic Colloquium 98 Math Mathematics measurable cardinal natural numbers normal notation Notes in Logic notion o-minimal obtain Peano arithmetic polynomial predicate primitive recursive problem proof theory Proposition prove quantifier quantifier elimination quotients reduction result ring rule satisfies semi-Thue system sequence set theory space strings strong cardinals structure subset Symbolic Logic tp(A transfinite tree trivial Turing Turing degrees type theory universe variables well-ordering