We propose a model-theoretic framework for investigating profinite structures. We prove that in many cases small profinite structures interpret infinite groups. This corresponds to results of Hrushovski and Peterzil on interpreting groups in locally modular stable and o-minimal structures.

First Order ID-Logic interprets general first order, nonmonotone, inductive definability by generalizing the wellfounded semantics for logic programs. We show that, for general (thus perhaps infinite) structures, inference in First Order ID-Logic is completeΠ2 over the natural numbers. We also prove a Skolem Theorem for the logic: every consistent formula of First Order ID-Logic has a countable...

Semantic attachment is provided by FOL as a means for associating model values (i.e. LISP code) to symbols of a first order language. This paper presents an algorithm that automatically generates semantic attachments in FOL and discusses the advantages deriving from its use.

Ordinary first-order logic has the property that two formulas φ and ψ have the same meaning in a structure if and only if the formula φ ↔ ψ is true in the structure. We prove that independence-friendly logic does not have this property. §

A method for encoding formulas in rst-order logic with equality into some equational logics and their associated propositional logics is presented. This yields some new strategies for theorem-proving in rst-order logic with equality. We outline the techniques and give a simple illustration of their use.

Solving equations is one of the main themes in mathematics. A large part of the combinatorial group theory revolves around the word and conjugacy problems particular types of equations in groups. Whether a given equation has a solution in a given group is, as a rule, a non-trivial problem. A more general and more difficult problem is to decide which formulas of the first-order logic hold in a g...

We consider the restriction of first–order logic to models, called pseudo– finite, with the property that every first–order sentence true in the model is true in a finite model. We argue that this is a good framework for studying first-order logic on finite structures. We prove a Lindström Theorem for extensions of first order logic on pseudo-finite structures.

This paper presents a theory that supports commonsense, qualitative reasoning about the flow of liquid around slowly moving solid objects; specifically, inferring that liquid can be poured from one container to another, given only qualitative information about the shapes and motions of the containers. It shows how the theory and the problem specification can be expressed in a first-order langua...

It known that teachers as educators should have competence that shows its quality so that the lecture material provided can be absorbed by the student. The competencies in this term include the pedagogic, professional, personality, and social. The competence that owned by lecturer can be obtained from the results of the assessment conducted by the student through the filling of the questionnair...