What people are saying - Write a review
We haven't found any reviews in the usual places.
THE SYSTEM OF ELEMENTARY ALGEBRA
Remarks on predicate logic with infinitely long expressions
Sur le terme primitif de la logistique
100 other sections not shown
Algebra of Topology algebraic systems analogous applies arbitrary assume atom atomistic axiom of choice binary operations Brouwerian algebra Brouwerian-algebraic function central subalgebra class of algebras closed elements closure algebra closure-algebraic function complete Boolean algebra conclusion Consequently Corollary countably complete decision method defined definition denote direct product discussion disjoint distributive domain easily seen elementary algebra equation equivalence element Euclidean exists extended fact field of sets finite following conditions following theorem formula free Brouwerian algebra function f functionally free geometry given Hence Heyting calculus holds hypothesis ideal element identity function implies infinite sequence integer isomorphic isomorphism types lattice left modular Lemma Lewis system Math McKinsey modular laws n<oo natural numbers necessary and sufficient notion obtain partial measure polynomial problem Proof proper relation algebra properties provable prove real closed field real numbers right-ideal element sentences set-theoretical strictly positive measure subset symbols Tarski theory variables