The Bulletin of Symbolic Logic, Volume 7Association for Symbolic Logic, 2001 - Electronic journals |
Contents
Articles in Logic logic and logic by George Boolos Reviewed by Vann | 31 |
P Odifreddi Classical recursion theory Volume II Reviewed by Peter | 73 |
U Kohlenbach On the arithmetical content of restricted forms of comprehension | 75 |
Copyright | |
28 other sections not shown
Other editions - View all
Common terms and phrases
abelian groups Abstracts algebra algorithm analysis applications Association for Symbolic automorphism axiom of choice axiomatic basic Boolean Borel equivalence relation Borel subgroup bounded arithmetic classical compact complexity computer science conjecture construction core model Corollary countable definition denote Department of Mathematics Dept E-mail example exists Feferman fin(m finite Morley rank formal formula Frege function Gödel groups of finite hierarchy Hilbert induction infinite intuitionistic isometry isomorphism iteration Journal of Symbolic Kechris language large cardinals Lemma linear Math mathematical logic metric spaces modal logic model theory Morley rank natural numbers notion ordinal paper permutation model Philos Philosophy Polish metric spaces polynomial predicate principle problem proof theory propositional provability proved quantifiers recursive reverse mathematics second-order logic semantics sentences seq(m sequence standard Borel structure Symbolic Logic Tarski theorem truth Univ University