Positive Jonsson Theories

Logica Universalis 12 (1-2):101-127 (2018)

Abstract
This paper is a general introduction to Positive Logic, where only what we call h-inductive sentences are under consideration, allowing the extension to homomorphisms of model-theoric notions which are classically associated to embeddings; in particular, the existentially closed models, that were primitively defined by Abraham Robinson, become here positively closed models. It accounts for recent results in this domain, and is oriented towards the positivisation of Jonsson theories.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/s11787-018-0185-8
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 46,223
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Positive Model Theory and Compact Abstract Theories.Itay Ben-Yaacov - 2003 - Journal of Mathematical Logic 3 (01):85-118.
Simplicity in Compact Abstract Theories.Itay Ben-Yaacov - 2003 - Journal of Mathematical Logic 3 (02):163-191.
Positive Model Theory and Amalgamations.Mohammed Belkasmi - 2014 - Notre Dame Journal of Formal Logic 55 (2):205-230.
Uncountable Dense Categoricity in Cats.Itay Ben-Yaacov - 2005 - Journal of Symbolic Logic 70 (3):829 - 860.
Fondements de la Logique Positive.Itaï Ben Yaacov & Et Bruno Poizat - 2007 - Journal of Symbolic Logic 72 (4):1141-1162.

View all 14 references / Add more references

Citations of this work BETA

Universal Logic: Evolution of a Project.Jean-Yves Beziau - 2018 - Logica Universalis 12 (1-2):1-8.
Spaces of Types in Positive Model Theory.Levon Haykazyan - 2019 - Journal of Symbolic Logic 84 (2):833-848.

Add more citations

Similar books and articles

Quelques propriétés des théories de Jonsson.Yerulan Mustafin - 2002 - Journal of Symbolic Logic 67 (2):528-536.
Positive Model Theory and Amalgamations.Mohammed Belkasmi - 2014 - Notre Dame Journal of Formal Logic 55 (2):205-230.
No Jónsson Filters Over ℵω.Jan Tryba - 1987 - Journal of Symbolic Logic 52 (1):51 - 53.
No Jonsson Filters Over $Aleph_omega$.Jan Tryba - 1987 - Journal of Symbolic Logic 52 (1):51-53.
More Jonsson Algebras.Saharon Shelah - 2003 - Archive for Mathematical Logic 42 (1):1-44.
On Successors of Jónsson Cardinals.J. Vickers & P. D. Welch - 2000 - Archive for Mathematical Logic 39 (6):465-473.
Groups and Algebras of Binary Relations.Steven Givant & Hajnal Andréka - 2002 - Bulletin of Symbolic Logic 8 (1):38-64.
Jónsson Cardinals, Erdös Cardinals, and the Core Model.W. J. Mitchell - 1999 - Journal of Symbolic Logic 64 (3):1065-1086.
Fondements de la logique positive.Itaï Yaacov & Bruno Poizat - 2007 - Journal of Symbolic Logic 72 (4):1141-1162.
Fondements de la Logique Positive.Ben Yaacov Itaï & Poizat Bruno - 2007 - Journal of Symbolic Logic 72 (4):1141-1162.
Infinitary Jónsson Functions and Elementary Embeddings.Masahiro Shioya - 1994 - Archive for Mathematical Logic 33 (2):81-86.
Jonsson Cardinals, Erdos Cardinals, and the Core Model.W. J. Mitchell - 1999 - Journal of Symbolic Logic 64 (3):1065-1086.
Four Problems Concerning Recursively Saturated Models of Arithmetic.Roman Kossak - 1995 - Notre Dame Journal of Formal Logic 36 (4):519-530.

Analytics

Added to PP index
2018-03-08

Total views
10 ( #773,826 of 2,285,756 )

Recent downloads (6 months)
2 ( #573,699 of 2,285,756 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature