Publié le : 2002-12-14
Classification:
03C64,
03C35,
06F99
@article{1190150291,
author = {Wencel, Roman},
title = {Small theories of Boolean ordered o-minimal structures},
journal = {J. Symbolic Logic},
volume = {67},
number = {1},
year = {2002},
pages = { 1385-1390},
language = {en},
url = {http://dml.mathdoc.fr/item/1190150291}
}
Wencel, Roman. Small theories of Boolean ordered o-minimal structures. J. Symbolic Logic, Tome 67 (2002) no. 1, pp. 1385-1390. http://gdmltest.u-ga.fr/item/1190150291/