The Bulletin of Symbolic Logic, Volume 15Association for Symbolic Logic, 2009 - Electronic journals |
Contents
Medvedev Logic | 7 |
Disjunction property | 15 |
Partial results | 22 |
Copyright | |
7 other sections not shown
Other editions - View all
Common terms and phrases
A₁ abelian abelian group abstract algorithm apply Association for Symbolic automorphism axiom axiomatization Bernays Boolean Borel BULLETIN calculus cardinals cofinitary group Comp compact complete Computer Science construction countable defined definition denote Department of Mathematics Dept E-mail equivalence relation example finite Morley rank first-order formal Gödel group of finite Hilbert homomorphism implies induction infinite intuitionistic isomorphic Journal of Symbolic language left Haar null Lemma Math Mathematical Logic measure modal logic model theory Morley rank natural numbers Neumann algebras notion ordinal P.O. Box paper Peano Arithmetic Philos Polish group predicate formulas problem programs proof theory propositional formula provable prove random recursive function reverse mathematics saturated model semantics sentence sequence set theory space structures subgroup subset Symbolic Logic theorem topological Turing Turing degree Univ University V₁ variables von Neumann algebras