Givant

Some articles on givant:

Tarski's Axioms - Overview
... His coworker Steven Givant (1999) explained Tarski's take-off point From Enriques, Tarski learned of the work of Mario Pieri, an Italian geometer who was strongly influenced by ... Givant's then says "with typical thoroughness" Tarski devised his system What was different about Tarski's approach to geometry? First of all, the axiom system was much simpler than any of the ... than its rivals, in a sense Tarski and Givant (1999) make explicit ...
Tarski's Axioms - Discussion
... According to Tarski and Givant (1999 192-93), none of the above axioms is fundamentally new ... sets for Euclidean geometry for dimensions 0, 1, and greater than 2 (Tarski and Givant 1999 Axioms 8(1), 8(n), 9(0), 9(1), 9(n) ) ... When dimension > 1, Betweenness can be defined in terms of congruence (Tarski and Givant, 1999) ...
Expressive Power - Q-Relation Algebras
... to B1-B10, there exist some A and B such that (Tarski and Givant 1987 §8.4) Q0 A•A ≤ I Q1 B•B ≤ I Q2 A•B = 1 Essentially these axioms imply that the universe has a (non-surjective) pairing ... It is a theorem that every QRA is a RRA (Proof by Maddux, see Tarski Givant 1987 8.4(iii) ) ... Every QRA is representable (Tarski and Givant 1987) ...
Alfred Tarski - Works
... Anthologies and collections 1986 ... The Collected Papers of Alfred Tarski, 4 vols ...