Computable Limit Models
Login
University Home
→
Library
JavaScript is disabled for your browser. Some features of this site may not work without it.
Computable Limit Models
Gavryushkin, Alexander
Identifier:
http://hdl.handle.net/2292/16067
Issue Date:
2010-06
Reference:
Computability in Europe 2010 - "Programs, Proofs, Processes", Ponta Delgada, Azores, Portugal, 30 Jun 2010 - 04 Jul 2010.
Rights:
Copyright: University of Azores
Rights (URI):
https://researchspace.auckland.ac.nz/docs/uoa-docs/rights.htm
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.
Show full item record
Files in this item
Related URL:
http://www.cie2010.uac.pt/index.html
This item appears in the following Collection(s)
Conference Items
[4380]
Share
Search ResearchSpace
Search ResearchSpace
This Collection
Browse
All of ResearchSpace
Communities & Collections
By Issue Date
Authors
Titles
Subjects
This Collection
By Issue Date
Authors
Titles
Subjects
Statistics
View Usage Statistics