Logic Colloquium: Proceedings of the Summer School and Colloquium in Mathematical Logic, Band 2North-Holland Pub., 1983 |
Inhalt
VORWORT | 1 |
B Benninghofen | 9 |
H G CARSTENS P PÄPPINGHAUS | 39 |
Urheberrecht | |
29 weitere Abschnitte werden nicht angezeigt.
Andere Ausgaben - Alle anzeigen
Häufige Begriffe und Wortgruppen
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