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
additional algebra analysis applications argument arithmetic Association axioms bounded called cardinals choice classical clauses closed Comp complete Computer concepts connected consider consistency construction contains countable defined definition Department of Mathematics Dept derivation E-mail equivalent example exists extension fact finite formula function Germany give given Gödel hierarchy holds induction infinite Institute interesting intuition Italy Journal labeled language large cardinals least Lemma Math Mathematics means measure method modal natural normal notion objects obtained operator particular Philos possible present principle problem proof properties propositional prove quantifiers question recursive REFERENCES relation require rules satisfies Science semantics sentence sequence set theory statement structure Symbolic Logic theorem tree true truth Univ University variables Woodin