Logic Colloquium: Proceedings of the Summer School and Colloquium in Mathematical Logic, Volume 2North-Holland Pub., 1983 - Logic, Symbolic and mathematical |
Contents
VORWORT | 1 |
B Benninghofen | 9 |
H G CARSTENS P PÄPPINGHAUS | 39 |
Copyright | |
29 other sections not shown
Other editions - View all
Common terms and phrases
1-generic algebra algorithm automata axioms basic sets binary bounded c)-conservative closure closure algebra complete construction contiguous degrees Corollary countable decision problem defined definition denote elements equivalent example exp exp explicit fact filter final topology finite structures finitely approximable first-order logic fixed point formula free variables function f given global predicates Hence implies induction infinite initial segment integers iteration least fixed point Lemma Math mathematical matroids mergesort monotone Moschovakis natural numbers nondeterministic notion operative partial function polynomial problem proof of Theorem properties provable prove PTIME PTIME computable r.e. degrees r.e. sets recursion spaces recursion theory recursive functions recursively enumerable relation representation requirements satisfies second-order logic sentence sequence sort stage s+1 star-finite subsets Suppose Theorem topology transclos tuple Turing degrees