The Bulletin of Symbolic LogicAssociation for Symbolic Logic, 1997 - Electronic journals |
Contents
A modeltheoretic approach to ordinal analysis by JEREMY AVIGAD | 17 |
On the decision problem for twovariable firstorder logic by ERICH GRÄDEL | 53 |
Paul Erdős 19131996 by JAMES E BAUMGARTNER | 70 |
Copyright | |
16 other sections not shown
Other editions - View all
Common terms and phrases
abstract algebraic applications argument arithmetic Association axioms Borel bounded calculus called cardinality Church closed Comp complete Computer Science concept consequence consider consists construction contains continuous countable defined definition denote Department of Mathematics Dept developed domain E-mail editors effective elements equivalence example exists expression extension fact finite fixed formal formula function Germany give given implies induction infinite integral interpretation introduced intuitionistic logic Italy Journal lambda language Lemma limit Math Mathematics means measure meeting method modal natural Notes notion obtained operations partial Philos present Press problem programming proof propositional prove question recursive reduction relation respect result rules satisfies semantics sentence sequence space structure subset Symbolic Logic theorem theory Univ University variables