The Bulletin of Symbolic Logic |
From inside the book
82 pages matching Symbolic Logic in this book
Page 242
Page 378
Where's the rest of this book?
Results 1-3 of 82
Contents
Geometry calculus and Zilbers conjecture by YAACOV PETERZIL AND SERGEI | 72 |
From metabelian Qvector spaces to new wstable groups by OLIVIER CHA | 84 |
Two applications of inner model theory to the study of sets by GREG | 94 |
26 other sections not shown
Other editions - View all
Common terms and phrases
algebraic American Mathematical Society applications arithmetic arrows Association for Symbolic automorphism axiom of choice axiom system Boolean Borel c.e. sets calculus Cantor cardinal Church coding comonad Completeness Theorem computable functions Computer Science concept consistency construction Corollary countable deduction theorem deductive completeness deductive system definable definition degrees denotes Department of Mathematics Dept dissertation E-mail editors elements finite model theory finite structures first-order logic fixpoint formal functor Gödel hierarchy Hilbert induction infinite isomorphic Journal of Symbolic Kechris Kleene Lambek language large cardinals linear logic Math Mathematicae Mathematical Logic modal model theory natural numbers node notion objects obtained operation ordinal ordinal analysis paper Philos predicate problem proof theory propositional provable prove quantifiers recursion theory recursive functions recursively enumerable satisfies semantics sentences sequence set theory space subset Symbolic Logic Turing machine Univ University variables