Publications
93 results found
Gabbay DM, Hodkinson IM, 1990, An axiomatization of the temporal logic with until and since over the real numbers, Journal of Logic and Computation, Vol: 1, Pages: 229-259, ISSN: 0955-792X
A Hilbert style axiomatization of the temporal logic with connectives Until and Since for the real numbers is presented. We prove independence of the axioms, and completeness for this semantics with respect to single formulas. © 1990 Oxford University Press.
Hodges W, Hodkinson IM, Macpherson D, 1990, Omega-categoricity, relative categoricity and coordinatisation, Annals of Pure and Applied Logic, Vol: 46, Pages: 169-199, ISSN: 0168-0072
Hodkinson IM, Macpherson HD, 1988, Relational structures determined by their finite induced substructures, Journal of Symbolic Logic, Vol: 53, Pages: 222-230, ISSN: 0022-4812
<jats:title>Abstract</jats:title><jats:p>A countably infinite relational structure <jats:italic>M</jats:italic> is called <jats:italic>absolutely ubiquitous</jats:italic> if the following holds: whenever <jats:italic>N</jats:italic> is a countably infinite structure, and <jats:italic>M</jats:italic> and <jats:italic>N</jats:italic> have the same isomorphism types of finite induced substructures, there is an isomorphism from <jats:italic>M</jats:italic> to <jats:italic>N</jats:italic>. Here a characterisation is given of absolutely ubiquitous structures over languages with finitely many relation symbols. A corresponding result is proved for uncountable structures.</jats:p>
This data is extracted from the Web of Science and reproduced under a licence from Thomson Reuters. You may not copy or re-distribute this data in whole or in part without the written consent of the Science business of Thomson Reuters.