Orey, Steven, New Foundations and the Axiom of Counting (1960) Osius, Gerhard, Eine Axiomatische Strukturtheorie (1969) Osius, Gerhard, The Internal and External Aspect of Logic and Set Theory in Elementary Topoi (1973) Osius, Gerhard, Bibliography of Papers on Foundations Set Theory and Category Theory (1978) Ott, E. R., Finite Projective Geometries, $PG(k, p^n)$ (1937) Otto, Martin, Bisimulation-Invariant Ptime and Higher-Dimensional $\mu$-Calculus (1997) Owings Jr., James C., Splitting a Context-Sensitive Set (1973)