Geometric Logic and Classifying Topoi
Part of the Universitext book series (UTX)
- 3.3k Downloads
A first-order formula q5(xl,xn)is called“geometric”if it is built up from atomic formulas by using conjunction,disjunction,and existential quantification,Geometric logic is the logic of the implications between geometric formulas:
where the arrow here is for “implication” and and z/) are geometric. Many mathematical structures can be axiomatized by formulas of this form (1).For instance, local rings are axiomatized by the usual equations for a commutative ring with unit, together with the axiom
$$\forall x(\phi (x) \to \psi (x))$$
which states that the ring is local; this axiom (2) is indeed of the form (1).
$$\forall x,y \in R(x + y = 1 \to \exists z(x \cdot z = 1) \vee \exists z(y \cdot z = 1))$$
Unable to display preview. Download preview PDF.
© Springer Science+Business Media New York 1994