The Axioms of an Experimental System John Harding (New Mexico State University, Las Cruces) Abstract: Axioms to define an experimental system are given, based on the notion of direct product decompositions. Consequences of these axioms are investigated, and models of these axioms are presented. O autorovi: John Harding je autorem rady hlubokych vysledku z algebraicke teorie svazu a kvantovych struktur. Jmenujme alespon vety o zuplnovani a amalgamaci modularnich a ortomodularnich svazu. Je letosnim kandidatem na cenu International Quantum Structures Association.