## The Bulletin of Symbolic Logic, Volume 3 |

### From inside the book

Try this search over all volumes: **construction**

Results 1-0 of 0

### What people are saying - Write a review

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

### Contents

Articles | 9 |

Set theory generated by Abelian group theory by Paul C Eklof | 17 |

On the decision problem for twovariable firstorder logic by Erich Gradel | 58 |

Copyright | |

11 other sections not shown

### Other editions - View all

### Common terms and phrases

abstract algebraic algorithm argument-text arithmetic Association for Symbolic axioms Borel Borel equivalence relation bounded Cambridge Canada cardinality Church Coll Comp complete Computer Science construction countable defined definition denote Department of Mathematics Dept domain E-mail editors elements equivalence relation finite model first-order first-order logic fixed point formal formula Germany given Godel graph induction Info Inst interpretation intuitionistic intuitionistic logic isomorphism Japan Journal of Symbolic lambda calculus language Lemma linear linear logic Matematica Math metric space modal logic model theory natural numbers notation notion ordinal P.O. Box paper Philos predicate presheaf problem programming proof theory Proposition prove real number recursion theory recursive functions reduction result satisfies semantics sentence sequence set theory Skolem Springer-Verlag Stanford structure subset Symbolic Logic Tarski Theorem topological Turing type theory Univ University variables Well-Ordering Theorem Zermelo