What people are saying - Write a review
We haven't found any reviews in the usual places.
Sur le terme primitif de la logistique
The Completeness or the System or Real Alpbra
81 other sections not shown
a-complete field a-complete ideal a-complete prime ideal A-complete set algebra A-distributive Abstract affine geometry Alfred Tarski algebra 91 algebraic structure American Mathematical Society applies arbitrary arithmetic assume atomic formulas axiom of choice axiom system axiomatic axiomatizable binary Boolean algebra closure complete consequence consists constructed contains continuum hypothesis Corollary cylindric algebras defined definition denote discussion elementary elements equations equivalent exists extended fact field of sets formal function given hence holds homomorphism identity implies inaccessible cardinals induction infinite cardinal isomorphic Lemma limit cardinal Math metamathematical necessary and sufficient non-empty non-principal notion obtained operations ordered field ordinal paper predicate calculus predicate logic principal problem proof proper ideal property Q provable prove real closed field real numbers recursive refinement property relation replaced restricted satisfies SCA's semantical sentences sentential calculus sequence set of power set theory set-theoretical statement subsets Suppose symbols Theorem translation