Properly forking formulas in Urysohn spaces


In this informal note, we demonstrate the existence of forking and nondividing formulas in continuous theory of the complete Urysohn sphere, as well as the discrete theories of the integral Urysohn spaces of diameter n (where n ≥ 3). Whether or not such formulas existed was asked in thesis work of the author, as well as joint work with Terry. We also show… (More)


  • Presentations referencing similar topics