Computable axiomatizability of elementary classes

DOI10.1002/malq.201400110zbMath1366.03215arXiv1409.1608OpenAlexW3126081226MaRDI QIDQ2793906

Peter Sinclair

Publication date: 17 March 2016

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

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

zbMATH Keywords

o-minimalityC-minimalityelementary classesP-minimalitypseudo-o-minimality

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) Properties of classes of models (03C52) Ultraproducts and related constructions (03C20) Model theory of ordered structures; o-minimality (03C64) Model theory of fields (12L12)

Cites Work

• Cell decompositions of \(C\)-minimal structures
• Locally o-minimal structures and structures with locally o-minimal open core
• The elementary theory of finite fields
• O-MINIMALISM
• THE NON-AXIOMATIZABILITY OF O-MINIMALITY
• Computability and Logic
• Structures having o-minimal open core
• First order topological structures and theories
• A version of o-minimality for the p-adics
• One-dimensional fibers of rigid subanalytic sets
• Zariski geometries
• Reducts of (C, +, ·) which contain +

This page was built for publication: Computable axiomatizability of elementary classes