Publié le : 1978-10-14
Classification:
03B45,
03B55
@article{1093888520,
author = {Fischer-Servi, Gis\`ele},
title = {The finite model property for ${\bf MIPQ}$ and some consequences.},
journal = {Notre Dame J. Formal Logic},
volume = {19},
number = {1},
year = {1978},
pages = { 687-692},
language = {en},
url = {http://dml.mathdoc.fr/item/1093888520}
}
Fischer-Servi, Gisèle. The finite model property for ${\bf MIPQ}$ and some consequences.. Notre Dame J. Formal Logic, Tome 19 (1978) no. 1, pp. 687-692. http://gdmltest.u-ga.fr/item/1093888520/