3 papers
math.GN2017
Existence of strongly proper dyadic subbases
Yasuyuki Tsukamoto
We consider a topological space with its subbase which induces a coding for each point. Every second-countable Hausdorff space has a subbase that is the union of countably many pai…
math.LO2016
On the consistency problem for modular lattices and related structures
Christian Herrmann, Yasuyuki Tsukamoto, Martin Ziegler
The consistency problem for a class of algebraic structures asks for an algorithm to decide for any given conjunction of equations whether it admits a non-trivial satisfying assign…
math.CO2012
New examples of oriented matroids with disconnected realization spaces
Yasuyuki Tsukamoto
We construct oriented matroids of rank 3 on 13 points whose realization spaces are disconnected. They are defined on smaller points than the known examples with this property. More…