海量图书期刊资源,随时随地畅享阅读乐趣
Nonstandard integration theory in topological vector latticesPeter A. Loeb; Horst Osswald · 1997
Modelltheoretische Untersuchungen in der Kripke-SemantikHorst Osswald · Archive for Mathematical Logic · 1970
On nonstandard models in higher order logicHort, Christian; Osswald, Horst · The Journal of Symbolic Logic · 1984
Homorphie-invariante Formeln in der intuitionistischen LogikHorst Osswald · Archive for Mathematical Logic · 1972
Malliavin calculus in abstract Wiener space using infinitesimalsHorst Osswald · Advances in Mathematics · 2003
A Note on Liftings of Linear Continuous FunctionalsHorst Osswald · Proceedings of the American Mathematical Society · 1994
Malliavin calculus on extensions of abstract Wiener spacesOsswald, Horst · Journal of Mathematics of Kyoto University · 2008
Homology of proof-netsFrançois Métayer · Archive for Mathematical Logic · 1994
Countable models of 1-based theoriesAnand Pillay · Archive for Mathematical Logic · 1992
Intuitionistic typical ambiguityDaniel Dzierzgowski · Archive for Mathematical Logic · 1992
Onκ-complete reduced productsTapani Hyttinen · Archive for Mathematical Logic · 1992
The monadic theory of (ω2,Shmuel Lifsches; Saharon Shelah · Archive for Mathematical Logic · 1992
Strong counterexamples to Borel hyperdeterminacyC. Ward Henson · Archive for Mathematical Logic · 1992
Subsets of models of arithmeticRoman Kossak; Jeffrey B. Paris · Archive for Mathematical Logic · 1992
Constructibility in higher order arithmeticsA. Sochor · Archive for Mathematical Logic · 1993