APAL
2010
13 years 11 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 11 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 11 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 11 months ago
2010
APAL
2010
13 years 11 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...