APAL
2010
13 years 5 months ago
2010
We present a setting in which the search for a proof of B or a refutation of B (i.e., a proof of
APAL
2010
13 years 5 months ago
2010
We discover geometric properties of certain definable sets over non-Archimedean valued fields with analytic structures. Results include a parameterized smooth stratification theore...
APAL
2010
13 years 5 months ago
2010
In [1] it was developed o-minimal homotopy for the definable category, proving o-minimal versions of the Hurewicz theorems and the Whitehead theorem. Here, we also extend these res...
APAL
2010
13 years 5 months ago
2010
APAL
2010
13 years 5 months ago
2010
We propose and investigate a uniform modal logic framework for reasoning about topology and relative distance in metric and more general distance spaces, thus enabling the compari...