Non Σn axiomatizable almost strongly minimal theories

DOI10.2307/2274752zbMATH Open0698.03021OpenAlexW2001479515MaRDI QIDQ3475255FDOQ3475255

Authors: David Marker 

Publication date: 1989

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

Full work available at URL: https://doi.org/10.2307/2274752

Recommendations

• The non-axiomatizability of o-minimality
• Non-pointed strongly protomodular theories
• Remarks on strong nonstructure theorems
• Non-finite-axiomatizability results in algebraic logic
• Model-theoretic Elekes–Szabó in the strongly minimal case
• The problem of finite axiomatizability for strongly minimal graph theories
• On the enrichment of almost o-minimal theories
• scientific article; zbMATH DE number 4089542
• scientific article; zbMATH DE number 4064248
• scientific article; zbMATH DE number 4063073

zbMATH Keywords

categoricityaxiomatizabilityalmost strongly minimal theory

Mathematics Subject Classification ID

Categoricity and completeness of theories (03C35) Models of other mathematical theories (03C65)

Cites Work

• Quasi finitely axiomatizable totally categorical theories
• Omitting types of prenex formulas

Cited In (29)

• Title not available (Why is that?)
• Semidecidable numberings in admissible sets
• DMP in strongly minimal sets
• Constructing \(\omega\)-stable structures: Model completeness.
• On the computability-theoretic complexity of trivial, strongly minimal models
• A complete theory with arbitrarily large minimality ranks
• Strength and weakness in computable structure theory
• A computable functor from graphs to fields
• Quasi finitely axiomatizable totally categorical theories
• Conservative extensions of abstract structures
• Index sets of constructive models of bounded signature that are autostable relative to strong constructivizations
• Theory spectra and classes of theories
• Special issue: Selected papers of the workshop on model theory and computable model theory, Gainesville, FL, USA, February 5--10, 2007
• Enumeration reducibility and computable structure theory
• The non-axiomatizability of o-minimality
• IS A SPECTRUM OF A NON-DISINTEGRATED FLAT STRONGLY MINIMAL MODEL COMPLETE THEORY IN A LANGUAGE WITH FINITE SIGNATURE
• Title not available (Why is that?)
• Spectra of theories and structures
• Index sets for some classes of structures
• Index sets of constructive models that are autostable under strong constructivizations
• Index sets for \(n\)-decidable structures categorical relative to \(m\)-decidable presentations
• There is no classification of the decidably presentable structures
• Model completeness for trivial, uncountably categorical theories of Morley rank \(1\)
• Degrees of categoricity and the hyperarithmetic hierarchy
• The Schröder-Bernstein property for weakly minimal theories
• The index set of Boolean algebras autostable relative to strong constructivizations
• Simple structures with complex symmetry
• Degrees of categoricity of computable structures
• Alpha-theory: An elementary axiomatics for nonstandard analysis

This page was built for publication: Non Σ_n axiomatizable almost strongly minimal theories

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