Reconstruction of non--categorical theories

Journal of Symbolic Logic 87 (1):159-187 (2022)
  Copy   BIBTEX

Abstract

We generalise the correspondence between $\aleph _0$ -categorical theories and their automorphism groups to arbitrary complete theories in classical logic, and to some theories in continuous logic.

Categories

Keywords

Reprint years

DOI

10.1017/jsl.2021.71

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,571

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

omnibus Review. [REVIEW]Ehud Hrushovski - 1993 - Journal of Symbolic Logic 58 (2):710-713.
[Omnibus Review].Ehud Hrushovski - 1993 - Journal of Symbolic Logic 58 (2):710-713.
Binary types in ℵ0‐categorical weakly o‐minimal theories.Beibut Sh Kulpeshov - 2011 - Mathematical Logic Quarterly 57 (3):246-255.
Uncountable theories that are categorical in a higher power.Michael Chris Laskowski - 1988 - Journal of Symbolic Logic 53 (2):512-530.
Computable Models of Theories with Few Models.Bakhadyr Khoussainov, Andre Nies & Richard A. Shore - 1997 - Notre Dame Journal of Formal Logic 38 (2):165-178.
On omega-categorical simple theories.Daniel Palacín - 2012 - Archive for Mathematical Logic 51 (7-8):709-717.
Relative categoricity in abelian groups II.Wilfrid Hodges & Anatoly Yakovlev - 2009 - Annals of Pure and Applied Logic 158 (3):203-231.
B. I. Zil′ber. Totally categorical theories: structural properties and the non-finite axiomatizability. Model theory of algebra and arithmetic, Proceedings of the conference on applications of logic to algebra and arithmetic held at Karpacz, Poland, September 1–7, 1979, edited by L. Pacholski, J. Wierzejewski, and A. J. Wilkie, Lecture notes in mathematics, vol. 834, Springer-Verlag, Berlin, Heidelberg, and New York, 1980, pp. 381–410. - B. I. Zil′ber. Strongly minimal countably categorical theories. Siberian mathematical journal, vol. 21 no. 2 , pp. 219–230. , pp. 98-112.) - B. I. Zil′ber. Strongly minimal countably categorical theories. II. Ibid., vol. 25 no. 3 , pp. 396-412. , pp. 71-88.) - B. I. Zil′ber. Strongly minimal countably categorical theories. III. Ibid., vol. 25 no. 4 , pp. 559-571. , pp. 63-77.) - B. I. Zil′ber. Totally categorical structures and combinatorial geometries. Soviet mathematics–Doklady, vol. 24 no. 1 , pp. 149-151. , pp. 1039-1041.) - B. I. Zil′ber The struc. [REVIEW]Ehud Hrushovski - 1993 - Journal of Symbolic Logic 58 (2):710-713.
Classifying ℵo-categorical theories II: The existence of finitely axiomatizable proper class II theories.George Weaver & David Lippel - 1998 - Studia Logica 60 (2):275-297.
Disjoint $n$ -Amalgamation and Pseudofinite Countably Categorical Theories.Alex Kruckman - 2019 - Notre Dame Journal of Formal Logic 60 (1):139-160.
The complexity of countable categoricity in finite languages.Aleksander Ivanov - 2012 - Mathematical Logic Quarterly 58 (1-2):105-112.
Tiny models of categorical theories.M. C. Laskowski, A. Pillay & P. Rothmaler - 1992 - Archive for Mathematical Logic 31 (6):385-396.
Classifying?0-categorical theories.George Weaver - 1988 - Studia Logica 47 (4):327-345.
Finitely axiomatizable ℵ1 categorical theories.Ehud Hrushovski - 1994 - Journal of Symbolic Logic 59 (3):838 - 844.
Why Not Categorical Equivalence?James Owen Weatherall - 2021 - In Judit Madarász & Gergely Székely (eds.), Hajnal Andréka and István Németi on Unity of Science: From Computing to Relativity Theory Through Algebraic Logic. Springer. pp. 427-451.

Analytics

Added to PP
2022-04-08

Downloads
6 (#1,453,583)

6 months
2 (#1,193,798)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

First-order logical duality.Steve Awodey - 2013 - Annals of Pure and Applied Logic 164 (3):319-348.
Quasi finitely axiomatizable totally categorical theories.Gisela Ahlbrandt & Martin Ziegler - 1986 - Annals of Pure and Applied Logic 30 (1):63-82.
Automorphism groups of randomized structures.Tomás Ibarlucía - 2017 - Journal of Symbolic Logic 82 (3):1150-1179.

Add more references