The Bulletin of Symbolic LogicAssociation for Symbolic Logic, 1997 - Electronic journals |
From inside the book
Results 1-3 of 87
Page 53
... FIRST - ORDER LOGIC ERICH GRÄDEL , PHOKION G. KOLAITIS AND MOSHE Y. VARDI Abstract . We identify the computational complexity of the satisfiability problem for FO2 , the fragment of first - order logic consisting of all relational first ...
... FIRST - ORDER LOGIC ERICH GRÄDEL , PHOKION G. KOLAITIS AND MOSHE Y. VARDI Abstract . We identify the computational complexity of the satisfiability problem for FO2 , the fragment of first - order logic consisting of all relational first ...
Page 76
... first order logic has played in the classical model theory . First order logic does not occupy such a central position in finite model theory for two important reasons : ⚫ First order logic is too strong . This is in the sense that any ...
... first order logic has played in the classical model theory . First order logic does not occupy such a central position in finite model theory for two important reasons : ⚫ First order logic is too strong . This is in the sense that any ...
Page 93
... first order logic on constraint databases . L.R.I.- Université de Paris Sud , 91405 Orsay , France , and INRIA . E - mail : zoe@lri.fr . Until recently , databases were considered to be finite collections of data items . New ap ...
... first order logic on constraint databases . L.R.I.- Université de Paris Sud , 91405 Orsay , France , and INRIA . E - mail : zoe@lri.fr . Until recently , databases were considered to be finite collections of data items . New ap ...
Contents
Set theory generated by Abelian group theory by PAUL C EKLOF | 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 algorithm argument-text arithmetic Association for Symbolic axioms Borel equivalence relation bounded cardinality Church Comp compact complete Computer Science concept construction continuous function countable defined definition denote Department of Mathematics domain E-mail editors elements finite model first-order first-order logic fixed point formal formula Germany given Gödel graph implies induction infinite Inst integral interpretation intuitionistic isomorphic Journal of Symbolic lambda calculus language Lecture Notes Lemma linear logic Math Mathematica metric space modal logic model theory natural numbers notation notion ordinal P.O. Box paper Philos predicate presheaf primitive recursive problem programming proof theory propositional provability prove real number recursion theory recursive functions reduction result satisfies semantics sentence sequence set theory Springer-Verlag structure subset Symbolic Logic Tarski theorem thesis topological Turing type theory Univ University USA Dept variables well-ordering Well-Ordering Theorem Zermelo