Categoricity in quasiminimal pregeometry classes

DOI10.1017/JSL.2014.36zbMATH Open1367.03066arXiv1308.1892OpenAlexW2963824410MaRDI QIDQ2805023FDOQ2805023

Authors: Levon Haykazyan 

Publication date: 9 May 2016

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Abstract: Quasiminimal pregeometry classes were introduces by Zilber [2005a] to isolate the model theoretical core of several interesting examples. He proves that a quasiminimal pregeometry class satisfying an additional axiom, called excellence, is categorical in all uncountable cardinalities. Recently Bays et al. [2014] showed that excellence follows from the rest of axioms. In this paper we present a direct proof of the categoricity result without using excellence.

Full work available at URL: https://arxiv.org/abs/1308.1892

Recommendations

• scientific article; zbMATH DE number 2236700
• Categorical quasivarieties revisited
• On quasivarieties and varieties as categories
• scientific article; zbMATH DE number 19487
• scientific article; zbMATH DE number 1340770
• Categorical quasivarieties via Morita equivalence
• Categorical characterization of quadrics
• Geometric categories and o-minimal structures
• scientific article; zbMATH DE number 1760833
• Degeneracies in quasi-categories

zbMATH Keywords

categoricityuncountable cardinalityquasiminimal pregeometry classpartial embeddingexcellence axiom

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Categoricity and completeness of theories (03C35) Properties of classes of models (03C52)

Cites Work

• Model Theory
• Categoricity
• Quasiminimal structures and excellence
• COVERS OF THE MULTIPLICATIVE GROUP OF AN ALGEBRAICALLY CLOSED FIELD OF CHARACTERISTIC ZERO
• Pseudo-exponentiation on algebraically closed fields of characteristic zero

Cited In (11)

• The small index property for homogeneous models in AEC's
• Title not available (Why is that?)
• Quasiminimal structures and excellence
• The geometry of Hrushovski constructions, II. The strongly minimal case
• Categorical characterization of quadrics
• On an axiomatic approach to geometric prequantization: a classification scheme à la Kostant-Souriau-Kirillov
• Constructing quasiminimal structures
• Quasiminimal abstract elementary classes
• Notes on Quasiminimality and Excellence
• Title not available (Why is that?)
• Model theory of special subvarieties and Schanuel-type conjectures

This page was built for publication: Categoricity in quasiminimal pregeometry classes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2805023)