Computable Limit Models

Gavryushkin, Alexander

dc.contributor.author	Gavryushkin, Alexander	en
dc.contributor.editor	Ferreira, F	en
dc.coverage.spatial	Ponta Delgada, Azores, Portugal	en
dc.date.accessioned	2012-03-29T19:25:43Z	en
dc.date.issued	2010-06	en
dc.identifier.citation	Computability in Europe 2010 - "Programs, Proofs, Processes", Ponta Delgada, Azores, Portugal, 30 Jun 2010 - 04 Jul 2010.	en
dc.identifier.isbn	978-3-642-13961-1	en
dc.identifier.uri	http://hdl.handle.net/2292/16067	en
dc.description.abstract	In the paper we construct a complete theory having exactly 6 countable models up to isomorphism, such that there are two limit over a powerful type models, one of which has a computable presentation, and the other does not.	en
dc.publisher	Springer	en
dc.relation.ispartof	Computability in Europe 2010 - "Programs, Proofs, Processes"	en
dc.relation.ispartofseries	Programs, proofs, processes: 6th Conference on Computability in Europe, CiE, 2010 proceedings	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.title	Computable Limit Models	en
dc.type	Conference Item	en
pubs.begin-page	188	en
pubs.volume	6158 LNCS	en
dc.rights.holder	Copyright: University of Azores	en
pubs.author-url	http://www.cie2010.uac.pt/index.html	en
pubs.end-page	193	en
pubs.finish-date	2010-07-04	en
pubs.publication-status	Published	en
pubs.start-date	2010-06-30	en
dc.rights.accessrights	http://purl.org/eprint/accessRights/RestrictedAccess	en
pubs.subtype	Proceedings	en
pubs.elements-id	327632	en
pubs.record-created-at-source-date	2012-03-19	en