dc.contributor.author |
Gavryushkin, Alexander |
en |
dc.contributor.editor |
Ershov, Yu L |
en |
dc.date.accessioned |
2012-03-29T19:25:20Z |
en |
dc.date.issued |
2007 |
en |
dc.identifier.issn |
0002-5232 |
en |
dc.identifier.uri |
http://hdl.handle.net/2292/16062 |
en |
dc.description.abstract |
We construct an example of a theory with a finite (greater than one) number of isomorphism types of countable models such that its prime and saturated models have computable presentations and there exists a model which lacks in such. |
en |
dc.language |
English |
en |
dc.publisher |
Springer New York |
en |
dc.relation.ispartofseries |
Algebra and Logic |
en |
dc.rights |
Items in ResearchSpace are protected by copyright, with all rights reserved, unless otherwise indicated. Previously published items are made available in accordance with the copyright policy of the publisher. |
en |
dc.rights.uri |
https://researchspace.auckland.ac.nz/docs/uoa-docs/rights.htm |
en |
dc.subject |
Ehrenfeucht theory |
en |
dc.subject |
countable model |
en |
dc.subject |
computable presentation of a model |
en |
dc.title |
Spectra of computable models for Ehrenfeucht theories |
en |
dc.type |
Journal Article |
en |
dc.identifier.doi |
10.1007/s10469-007-0014-2 |
en |
pubs.issue |
3 |
en |
pubs.begin-page |
149 |
en |
pubs.volume |
46 |
en |
dc.rights.holder |
Copyright: Springer New York |
en |
pubs.end-page |
157 |
en |
pubs.publication-status |
Published |
en |
dc.rights.accessrights |
http://purl.org/eprint/accessRights/RestrictedAccess |
en |
pubs.subtype |
Article |
en |
pubs.elements-id |
316062 |
en |
pubs.org-id |
Science |
en |
pubs.org-id |
School of Computer Science |
en |
dc.identifier.eissn |
1573-8302 |
en |
pubs.record-created-at-source-date |
2012-03-19 |
en |