Skip to main content Accessibility help
×
Home
Hostname: page-component-99c86f546-qdp55 Total loading time: 0.421 Render date: 2021-12-04T05:44:18.432Z Has data issue: true Feature Flags: { "shouldUseShareProductTool": true, "shouldUseHypothesis": true, "isUnsiloEnabled": true, "metricsAbstractViews": false, "figures": true, "newCiteModal": false, "newCitedByModal": true, "newEcommerce": true, "newUsageEvents": true }

SPACES OF TYPES IN POSITIVE MODEL THEORY

Published online by Cambridge University Press:  24 January 2019

LEVON HAYKAZYAN*
Affiliation:
DEPARTMENT OF PURE MATHEMATICS UNIVERSITY OF WATERLOO 200 UNIVERSTITY AVENUE WEST WATERLOO, ONTARIO N2L 3G1, CANADAE-mail: lhaykazyan@uwaterloo.ca

Abstract

We introduce a notion of the space of types in positive model theory based on Stone duality for distributive lattices. We show that this space closely mirrors the Stone space of types in the full first-order model theory with negation (Tarskian model theory). We use this to generalise some classical results on countable models from the Tarskian setting to positive model theory.

Type
Articles
Copyright
Copyright © The Association for Symbolic Logic 2019 

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Belkasmi, M., Positive model theory and amalgamation. Notre Dame Journal of Formal Logic, vol. 55 (2014), no. 2, pp. 205230.10.1215/00294527-2420648CrossRefGoogle Scholar
Ben-Yaacov, I., Positive model theory and compact abstract theories. Journal of Mathematical Logic, vol. 3 (2003), no. 1, pp. 85118.10.1142/S0219061303000212CrossRefGoogle Scholar
Ben-Yaacov, I. and Poizat, B., Fondements de la logique positive, this Journal, vol. 72 (2007), no. 4, pp. 11411162.Google Scholar
Hochster, M., Prime ideal structure in commutative rings. Transactions of the American Mathematical Society, vol. 142 (1969), pp. 4360.10.1090/S0002-9947-1969-0251026-XCrossRefGoogle Scholar
Hodges, W., Building Models by Games, Cambridge University Press, Cambridge, 1985.Google Scholar
Hofmann, K. H., A note on Baire spaces and continuous lattices. Bulletin of the Australian Mathematical Society, vol. 21 (1980), pp. 265279.10.1017/S0004972700006080CrossRefGoogle Scholar
Hrushovski, E., Simplicity and the Lascar group, unpublished preprint, 1998.Google Scholar
Isbell, J. R., Function spaces and adjoins. Mathematica Scandinavica, vol. 36 (1975), pp. 317339.10.7146/math.scand.a-11581CrossRefGoogle Scholar
Lascar, D., Stability in model theory, Longman Scientific & Technical, 1987, Translated from the French by J. E. Wallington.Google Scholar
Mac Lane, S. and Moerdijk, I., Sheaves in Geometry and Logic, Springer Verlag, New York, 1992.Google Scholar
Macintyre, A., Model theory: Geometrical and set-theoretic aspects and prospects. The Bulletin of Symbolic Logic, vol. 9 (2003), no. 2, pp. 197212.10.2178/bsl/1052669289CrossRefGoogle Scholar
Morley, M., Applications of topology to ${L_{{\omega _1},\omega }}$., Proceedings of the Tarski Symposium (Henkin, L., Addison, J., Chang, C. C., Craig, W., Scott, D., and Vaught, R., editors), American Mathematical Society, Providence, RI, 1974, pp. 233240.10.1090/pspum/025/0373879CrossRefGoogle Scholar
Pillay, A., Forking in the category of existentially closed structures, Connections Between Model Theory and Algebraic and Analytic Geometry (Macintyre, A., editor), Dipartimento di Matematica della Seconda Università di Napoli, Napoli, 2000, pp. 2342.Google Scholar
Poizat, B., Quelques effets pervers de la positivité. Annals of Pure and Applied Logic, vol. 161 (2010), no. 6, pp. 812816.10.1016/j.apal.2009.06.012CrossRefGoogle Scholar
Poizat, B. and Yeshkeyev, A., Positive Jonsson theories. Logica Universalis, vol. 12 (2018), no. 1–2, pp. 101127.10.1007/s11787-018-0185-8CrossRefGoogle Scholar
Shelah, S., The lazy model-theoretician’s guide to stability. Logique et Analyse, vol. 18 (1975), no. 71–72, pp. 241308.Google Scholar
Simmons, H., Large and small existentially closed structures, this Journal, vol. 41 (1976), no. 2, pp. 379390.Google Scholar
Stone, M. H., Topological representations of distributive lattices and Brouwerian logics. Časopis pro pěstování matematiky a fysiky, vol. 67 (1938), no. 1, pp. 125.Google Scholar

Send article to Kindle

To send this article to your Kindle, first ensure no-reply@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle. Find out more about sending to your Kindle.

Note you can select to send to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

Find out more about the Kindle Personal Document Service.

SPACES OF TYPES IN POSITIVE MODEL THEORY
Available formats
×

Send article to Dropbox

To send this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Dropbox.

SPACES OF TYPES IN POSITIVE MODEL THEORY
Available formats
×

Send article to Google Drive

To send this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Google Drive.

SPACES OF TYPES IN POSITIVE MODEL THEORY
Available formats
×
×

Reply to: Submit a response

Please enter your response.

Your details

Please enter a valid email address.

Conflicting interests

Do you have any conflicting interests? *