Logic Colloquium: Proceedings of the Summer School and Colloquium in Mathematical Logic, Volume 2North-Holland Pub., 1983 - Logic, Symbolic and mathematical |
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 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 P₁ partial function polynomial predicate variable problem proof of Theorem properties provable prove PTIME PTIME computable quantifiers r.e. degrees r.e. sets recursion spaces recursion theory recursive functions recursively enumerable relation representation requirements result rules satisfies second-order logic sentence sequence sort stage s+1 star-finite subsets Suppose topology transclos tuple