{"@context":"http://iiif.io/api/presentation/2/context.json","@type":"sc:Manifest","@id":"https://iiif.quartexcollections.com/portland/iiif/ce2ed7fc-da4f-46f5-a789-b9aca498f1d0/manifest","label":"Trivial Strongly Minimal Theories Are Model Complete After Namin","metadata":[{"label":"Title","value":"Trivial, Strongly Minimal Theories Are Model Complete After Naming Constants"},{"label":"Collection","value":["Mathematics Faculty Publications"]},{"label":"Relation","value":"mth"},{"label":"Author","value":"Sergey S. Goncharov, Valentina S. Harizanov, Michael C. Laskowski, Steffen Lempp, Reed Solomon, Charles F. D. Mccoy"},{"label":"Journal Title","value":"Proceedings of the American Mathematical Society"},{"label":"Abstract","value":"We prove that if M is any model of a trivial, strongly minimal theory, then the elementary diagram Th(MM) is a model complete LM-theory. We conclude that all countable models of a trivial, strongly minimal theory with at least one computable model are 0\"-decidable, and that the spectrum of computable models of any trivial, strongly minimal theory is Σ05."},{"label":"Volume","value":"131"},{"label":"Issue","value":"12"},{"label":"Publication Date","value":"D:24 M:02 Y:2003"},{"label":"Publication Information","value":"Proceedings of the American Mathematical Society, 2003, Vol. 131, No. 12, pp. 3901-3912 © retained by author Downloadable copy is the final published version"}],"description":"Trivial, Strongly Minimal Theories Are Model Complete After Naming Constants","sequences":[{"@type":"sc:Sequence","canvases":[{"@id":"https://iiif.quartexcollections.com/portland/iiif/ce2ed7fc-da4f-46f5-a789-b9aca498f1d0/canvas/_1","@type":"sc:Canvas","label":"Trivial Strongly Minimal Theories Are Model Complete After Namin-02","height":1651,"width":1275,"images":[{"@type":"oa:Annotation","motivation":"sc:painting","resource":{"@id":"https://iiif.quartexcollections.com/portland/iiif/1ab6ae38-65a4-492f-adbf-4dac997e874d/full/full/0/default.jpg","@type":"dctypes:Image","format":"image/jpeg","service":{"@context":"http://iiif.io/api/image/2/context.json","@id":"https://iiif.quartexcollections.com/portland/iiif/1ab6ae38-65a4-492f-adbf-4dac997e874d","profile":"http://iiif.io/api/image/2/level2.json","tiles":[{"width":512,"scaleFactors":[1,2,4]}]},"height":1651,"width":1275},"on":"https://iiif.quartexcollections.com/portland/iiif/ce2ed7fc-da4f-46f5-a789-b9aca498f1d0/canvas/_1","metadata":[]}],"thumbnail":{"@id":"https://iiif.quartexcollections.com/portland/iiif/1ab6ae38-65a4-492f-adbf-4dac997e874d/full/500,500/0/default.jpg","@type":"dctypes:Image","height":500,"width":500}},{"@id":"https://iiif.quartexcollections.com/portland/iiif/ce2ed7fc-da4f-46f5-a789-b9aca498f1d0/canvas/_2","@type":"sc:Canvas","label":"Trivial Strongly Minimal Theories Are Model Complete After Namin-03","height":1560,"width":976,"images":[{"@type":"oa:Annotation","motivation":"sc:painting","resource":{"@id":"https://iiif.quartexcollections.com/portland/iiif/21073cb4-9723-46c9-a69c-24e5d41b8c4e/full/full/0/default.jpg","@type":"dctypes:Image","format":"image/jpeg","service":{"@context":"http://iiif.io/api/image/2/context.json","@id":"https://iiif.quartexcollections.com/portland/iiif/21073cb4-9723-46c9-a69c-24e5d41b8c4e","profile":"http://iiif.io/api/image/2/level2.json"},"height":1560,"width":976},"on":"https://iiif.quartexcollections.com/portland/iiif/ce2ed7fc-da4f-46f5-a789-b9aca498f1d0/canvas/_2","metadata":[]}],"thumbnail":{"@id":"https://iiif.quartexcollections.com/portland/iiif/21073cb4-9723-46c9-a69c-24e5d41b8c4e/full/500,500/0/default.jpg","@type":"dctypes:Image","height":500,"width":500}},{"@id":"https://iiif.quartexcollections.com/portland/iiif/ce2ed7fc-da4f-46f5-a789-b9aca498f1d0/canvas/_3","@type":"sc:Canvas","label":"Trivial Strongly Minimal Theories Are Model Complete After Namin-04","height":1560,"width":976,"images":[{"@type":"oa:Annotation","motivation":"sc:painting","resource":{"@id":"https://iiif.quartexcollections.com/portland/iiif/3e5bbc4f-b4e7-4e7b-a395-0c566783bd27/full/full/0/default.jpg","@type":"dctypes:Image","format":"image/jpeg","service":{"@context":"http://iiif.io/api/image/2/context.json","@id":"https://iiif.quartexcollections.com/portland/iiif/3e5bbc4f-b4e7-4e7b-a395-0c566783bd27","profile":"http://iiif.io/api/image/2/level2.json"},"height":1560,"width":976},"on":"https://iiif.quartexcollections.com/portland/iiif/ce2ed7fc-da4f-46f5-a789-b9aca498f1d0/canvas/_3","metadata":[]}],"thumbnail":{"@id":"https://iiif.quartexcollections.com/portland/iiif/3e5bbc4f-b4e7-4e7b-a395-0c566783bd27/full/500,500/0/default.jpg","@type":"dctypes:Image","height":500,"width":500}},{"@id":"https://iiif.quartexcollections.com/portland/iiif/ce2ed7fc-da4f-46f5-a789-b9aca498f1d0/canvas/_4","@type":"sc:Canvas","label":"Trivial Strongly Minimal Theories Are Model Complete After Namin-05","height":1560,"width":976,"images":[{"@type":"oa:Annotation","motivation":"sc:painting","resource":{"@id":"https://iiif.quartexcollections.com/portland/iiif/5b57d0a8-430e-4e2b-b7c5-b67419de3e5c/full/full/0/default.jpg","@type":"dctypes:Image","format":"image/jpeg","service":{"@context":"http://iiif.io/api/image/2/context.json","@id":"https://iiif.quartexcollections.com/portland/iiif/5b57d0a8-430e-4e2b-b7c5-b67419de3e5c","profile":"http://iiif.io/api/image/2/level2.json"},"height":1560,"width":976},"on":"https://iiif.quartexcollections.com/portland/iiif/ce2ed7fc-da4f-46f5-a789-b9aca498f1d0/canvas/_4","metadata":[]}],"thumbnail":{"@id":"https://iiif.quartexcollections.com/portland/iiif/5b57d0a8-430e-4e2b-b7c5-b67419de3e5c/full/500,500/0/default.jpg","@type":"dctypes:Image","height":500,"width":500}},{"@id":"https://iiif.quartexcollections.com/portland/iiif/ce2ed7fc-da4f-46f5-a789-b9aca498f1d0/canvas/_5","@type":"sc:Canvas","label":"Trivial Strongly Minimal Theories Are Model Complete After Namin-06","height":1560,"width":976,"images":[{"@type":"oa:Annotation","motivation":"sc:painting","resource":{"@id":"https://iiif.quartexcollections.com/portland/iiif/d36a0cb1-e131-4ddf-81d2-3ef0b741ed06/full/full/0/default.jpg","@type":"dctypes:Image","format":"image/jpeg","service":{"@context":"http://iiif.io/api/image/2/context.json","@id":"https://iiif.quartexcollections.com/portland/iiif/d36a0cb1-e131-4ddf-81d2-3ef0b741ed06","profile":"http://iiif.io/api/image/2/level2.json"},"height":1560,"width":976},"on":"https://iiif.quartexcollections.com/portland/iiif/ce2ed7fc-da4f-46f5-a789-b9aca498f1d0/canvas/_5","metadata":[]}],"thumbnail":{"@id":"https://iiif.quartexcollections.com/portland/iiif/d36a0cb1-e131-4ddf-81d2-3ef0b741ed06/full/500,500/0/default.jpg","@type":"dctypes:Image","height":500,"width":500}},{"@id":"https://iiif.quartexcollections.com/portland/iiif/ce2ed7fc-da4f-46f5-a789-b9aca498f1d0/canvas/_6","@type":"sc:Canvas","label":"Trivial Strongly Minimal Theories Are Model Complete After Namin-07","height":1560,"width":976,"images":[{"@type":"oa:Annotation","motivation":"sc:painting","resource":{"@id":"https://iiif.quartexcollections.com/portland/iiif/4e0edf2a-b6b1-4b2b-a9b7-e012e657c33a/full/full/0/default.jpg","@type":"dctypes:Image","format":"image/jpeg","service":{"@context":"http://iiif.io/api/image/2/context.json","@id":"https://iiif.quartexcollections.com/portland/iiif/4e0edf2a-b6b1-4b2b-a9b7-e012e657c33a","profile":"http://iiif.io/api/image/2/level2.json"},"height":1560,"width":976},"on":"https://iiif.quartexcollections.com/portland/iiif/ce2ed7fc-da4f-46f5-a789-b9aca498f1d0/canvas/_6","metadata":[]}],"thumbnail":{"@id":"https://iiif.quartexcollections.com/portland/iiif/4e0edf2a-b6b1-4b2b-a9b7-e012e657c33a/full/500,500/0/default.jpg","@type":"dctypes:Image","height":500,"width":500}},{"@id":"https://iiif.quartexcollections.com/portland/iiif/ce2ed7fc-da4f-46f5-a789-b9aca498f1d0/canvas/_7","@type":"sc:Canvas","label":"Trivial Strongly Minimal Theories Are Model Complete After Namin-08","height":1560,"width":976,"images":[{"@type":"oa:Annotation","motivation":"sc:painting","resource":{"@id":"https://iiif.quartexcollections.com/portland/iiif/936e91ee-63be-487d-b192-2f6145b6b804/full/full/0/default.jpg","@type":"dctypes:Image","format":"image/jpeg","service":{"@context":"http://iiif.io/api/image/2/context.json","@id":"https://iiif.quartexcollections.com/portland/iiif/936e91ee-63be-487d-b192-2f6145b6b804","profile":"http://iiif.io/api/image/2/level2.json"},"height":1560,"width":976},"on":"https://iiif.quartexcollections.com/portland/iiif/ce2ed7fc-da4f-46f5-a789-b9aca498f1d0/canvas/_7","metadata":[]}],"thumbnail":{"@id":"https://iiif.quartexcollections.com/portland/iiif/936e91ee-63be-487d-b192-2f6145b6b804/full/500,500/0/default.jpg","@type":"dctypes:Image","height":500,"width":500}},{"@id":"https://iiif.quartexcollections.com/portland/iiif/ce2ed7fc-da4f-46f5-a789-b9aca498f1d0/canvas/_8","@type":"sc:Canvas","label":"Trivial Strongly Minimal Theories Are Model Complete After Namin-09","height":1560,"width":976,"images":[{"@type":"oa:Annotation","motivation":"sc:painting","resource":{"@id":"https://iiif.quartexcollections.com/portland/iiif/d81458e7-e16e-4740-ba4d-160b5e9dab4d/full/full/0/default.jpg","@type":"dctypes:Image","format":"image/jpeg","service":{"@context":"http://iiif.io/api/image/2/context.json","@id":"https://iiif.quartexcollections.com/portland/iiif/d81458e7-e16e-4740-ba4d-160b5e9dab4d","profile":"http://iiif.io/api/image/2/level2.json"},"height":1560,"width":976},"on":"https://iiif.quartexcollections.com/portland/iiif/ce2ed7fc-da4f-46f5-a789-b9aca498f1d0/canvas/_8","metadata":[]}],"thumbnail":{"@id":"https://iiif.quartexcollections.com/portland/iiif/d81458e7-e16e-4740-ba4d-160b5e9dab4d/full/500,500/0/default.jpg","@type":"dctypes:Image","height":500,"width":500}},{"@id":"https://iiif.quartexcollections.com/portland/iiif/ce2ed7fc-da4f-46f5-a789-b9aca498f1d0/canvas/_9","@type":"sc:Canvas","label":"Trivial Strongly Minimal Theories Are Model Complete After Namin-10","height":1560,"width":976,"images":[{"@type":"oa:Annotation","motivation":"sc:painting","resource":{"@id":"https://iiif.quartexcollections.com/portland/iiif/40f69bf4-6fff-423a-98ac-c586e00a2ff3/full/full/0/default.jpg","@type":"dctypes:Image","format":"image/jpeg","service":{"@context":"http://iiif.io/api/image/2/context.json","@id":"https://iiif.quartexcollections.com/portland/iiif/40f69bf4-6fff-423a-98ac-c586e00a2ff3","profile":"http://iiif.io/api/image/2/level2.json"},"height":1560,"width":976},"on":"https://iiif.quartexcollections.com/portland/iiif/ce2ed7fc-da4f-46f5-a789-b9aca498f1d0/canvas/_9","metadata":[]}],"thumbnail":{"@id":"https://iiif.quartexcollections.com/portland/iiif/40f69bf4-6fff-423a-98ac-c586e00a2ff3/full/500,500/0/default.jpg","@type":"dctypes:Image","height":500,"width":500}},{"@id":"https://iiif.quartexcollections.com/portland/iiif/ce2ed7fc-da4f-46f5-a789-b9aca498f1d0/canvas/_10","@type":"sc:Canvas","label":"Trivial Strongly Minimal Theories Are Model Complete After Namin-11","height":1560,"width":976,"images":[{"@type":"oa:Annotation","motivation":"sc:painting","resource":{"@id":"https://iiif.quartexcollections.com/portland/iiif/2ddac0be-0ce7-4b0e-ad01-f7f9857313ff/full/full/0/default.jpg","@type":"dctypes:Image","format":"image/jpeg","service":{"@context":"http://iiif.io/api/image/2/context.json","@id":"https://iiif.quartexcollections.com/portland/iiif/2ddac0be-0ce7-4b0e-ad01-f7f9857313ff","profile":"http://iiif.io/api/image/2/level2.json"},"height":1560,"width":976},"on":"https://iiif.quartexcollections.com/portland/iiif/ce2ed7fc-da4f-46f5-a789-b9aca498f1d0/canvas/_10","metadata":[]}],"thumbnail":{"@id":"https://iiif.quartexcollections.com/portland/iiif/2ddac0be-0ce7-4b0e-ad01-f7f9857313ff/full/500,500/0/default.jpg","@type":"dctypes:Image","height":500,"width":500}},{"@id":"https://iiif.quartexcollections.com/portland/iiif/ce2ed7fc-da4f-46f5-a789-b9aca498f1d0/canvas/_11","@type":"sc:Canvas","label":"Trivial Strongly Minimal Theories Are Model Complete After Namin-12","height":1560,"width":976,"images":[{"@type":"oa:Annotation","motivation":"sc:painting","resource":{"@id":"https://iiif.quartexcollections.com/portland/iiif/bfd5fa73-f415-447f-a08f-1a771bcb74b4/full/full/0/default.jpg","@type":"dctypes:Image","format":"image/jpeg","service":{"@context":"http://iiif.io/api/image/2/context.json","@id":"https://iiif.quartexcollections.com/portland/iiif/bfd5fa73-f415-447f-a08f-1a771bcb74b4","profile":"http://iiif.io/api/image/2/level2.json"},"height":1560,"width":976},"on":"https://iiif.quartexcollections.com/portland/iiif/ce2ed7fc-da4f-46f5-a789-b9aca498f1d0/canvas/_11","metadata":[]}],"thumbnail":{"@id":"https://iiif.quartexcollections.com/portland/iiif/bfd5fa73-f415-447f-a08f-1a771bcb74b4/full/500,500/0/default.jpg","@type":"dctypes:Image","height":500,"width":500}},{"@id":"https://iiif.quartexcollections.com/portland/iiif/ce2ed7fc-da4f-46f5-a789-b9aca498f1d0/canvas/_12","@type":"sc:Canvas","label":"Trivial Strongly Minimal Theories Are Model Complete After Namin-13","height":1560,"width":976,"images":[{"@type":"oa:Annotation","motivation":"sc:painting","resource":{"@id":"https://iiif.quartexcollections.com/portland/iiif/7067ba66-d67b-455a-a456-217b8825f16d/full/full/0/default.jpg","@type":"dctypes:Image","format":"image/jpeg","service":{"@context":"http://iiif.io/api/image/2/context.json","@id":"https://iiif.quartexcollections.com/portland/iiif/7067ba66-d67b-455a-a456-217b8825f16d","profile":"http://iiif.io/api/image/2/level2.json"},"height":1560,"width":976},"on":"https://iiif.quartexcollections.com/portland/iiif/ce2ed7fc-da4f-46f5-a789-b9aca498f1d0/canvas/_12","metadata":[]}],"thumbnail":{"@id":"https://iiif.quartexcollections.com/portland/iiif/7067ba66-d67b-455a-a456-217b8825f16d/full/500,500/0/default.jpg","@type":"dctypes:Image","height":500,"width":500}},{"@id":"https://iiif.quartexcollections.com/portland/iiif/ce2ed7fc-da4f-46f5-a789-b9aca498f1d0/canvas/_13","@type":"sc:Canvas","label":"Trivial Strongly Minimal Theories Are Model Complete After Namin-14","height":1560,"width":976,"images":[{"@type":"oa:Annotation","motivation":"sc:painting","resource":{"@id":"https://iiif.quartexcollections.com/portland/iiif/c0f65b75-1657-49a9-b01a-e2da03fa98e9/full/full/0/default.jpg","@type":"dctypes:Image","format":"image/jpeg","service":{"@context":"http://iiif.io/api/image/2/context.json","@id":"https://iiif.quartexcollections.com/portland/iiif/c0f65b75-1657-49a9-b01a-e2da03fa98e9","profile":"http://iiif.io/api/image/2/level2.json"},"height":1560,"width":976},"on":"https://iiif.quartexcollections.com/portland/iiif/ce2ed7fc-da4f-46f5-a789-b9aca498f1d0/canvas/_13","metadata":[]}],"thumbnail":{"@id":"https://iiif.quartexcollections.com/portland/iiif/c0f65b75-1657-49a9-b01a-e2da03fa98e9/full/500,500/0/default.jpg","@type":"dctypes:Image","height":500,"width":500}}]}],"thumbnail":"https://iiif.quartexcollections.com/portland/iiif/1ab6ae38-65a4-492f-adbf-4dac997e874d/full/300,300/0/default.jpg","logo":"https://iiif.quartexcollections.com/portland/iiif/logo"}