## The Bulletin of Symbolic Logic, Volume 2 |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

The mathematical development of set theory from Cantor to Cohen by Akj | 1 |

Geometry calculus and Zilbers conjecture by Yaacov Peterzil and Sergei | 72 |

From metabelian Qvector spaces to new costable groups by Olivier Cha | 84 |

Copyright | |

23 other sections not shown

### Common terms and phrases

aconjunctive algebraic American Mathematical Society applied arithmetic arrows Association for Symbolic automorphism axiom of choice axiom system Boolean Borel c.e. sets calculus Cantor Church coding Coll comonad Comp Completeness Theorem Computer Science concept construction Corollary countable deduction theorem deductive completeness deductive system definable definition degrees denote Department of Mathematics Dept dissertation E-mail editors finite model theory finite structures first-order logic fixpoint formal functor Godel Hilbert implies induction infinite Inst isomorphic Journal of Symbolic Kechris Kleene Lambek language large cardinals linear logic Matematicas Math Mathematical Logic modal model theory natural numbers node notion objects obtained operation ordinal ordinal analysis P.O. Box paper Philos predicate problem proof theory propositional provable prove quantifiers recursion theory recursive functions recursively enumerable satisfies semantics sentences sequence set theory subset Symbolic Logic tableau Turing machine Univ University variables