The Bulletin of Symbolic LogicAssociation for Symbolic Logic, 1995 - Electronic journals |
Contents
The mathematical work of S C Kleene by J R SHOENFIELD | 9 |
Platonism and mathematical intuition in Kurt Gödels thought by CHARLES | 44 |
HODLR is a core model below by JOHN R STEEL | 75 |
Copyright | |
4 other sections not shown
Other editions - View all
Common terms and phrases
algebra algorithm American Mathematical Society arithmetic Association for Symbolic axioms Brouwer calculus choice sequences classical clauses cofinality Comp complete Computer Science concepts consistency construction continuum countable defined definition denote Department of Mathematics derivation E-mail equivalent exists extension finite formula Gödel graph hierarchy inaccessible cardinal induction infinite inner model Inst intuitionistic iteration Journal of Symbolic Kechris Kleene language large cardinals Lebesgue measurable Lemma linear logic Math measurable cardinal modal logic model theory natural numbers node normal notion obtained ordinal P.O. Box paper Philos Philosophy predicate problem proof system proof theory properties propositional provable prove quantifiers recursion theory recursive functions regular cardinals relation rules semantics set of reals set theory singular cardinals Solovay structure subset Symbolic Logic theorem tree Univ University USA Dept variables Weyl Woodin cardinals