- Erratum to: “Scott rank of Polish metric spaces” [Ann. Pure Appl. Logic 165 (12) (2014) 1919–1929].Michal Doucha - 2017 - Annals of Pure and Applied Logic 168 (7):1490.details
|
|
Counting the number of equivalence classes of Borel and coanalytic equivalence relations.Jack H. Silver - 1980 - Annals of Mathematical Logic 18 (1):1.details
|
|
Scott sentences and admissible sets.Mark Nadel - 1974 - Annals of Mathematical Logic 7 (2):267.details
|
|
The countable admissible ordinal equivalence relation.William Chan - 2017 - Annals of Pure and Applied Logic 168 (6):1224-1246.details
|
|
Strange Structures from Computable Model Theory.Howard Becker - 2017 - Notre Dame Journal of Formal Logic 58 (1):97-105.details
|
|
Computable structures in generic extensions.Julia Knight, Antonio Montalbán & Noah Schweber - 2016 - Journal of Symbolic Logic 81 (3):814-832.details
|
|
Scott rank of Polish metric spaces.Michal Doucha - 2014 - Annals of Pure and Applied Logic 165 (12):1919-1929.details
|
|
Model Theory: An Introduction.David Marker - 2003 - Bulletin of Symbolic Logic 9 (3):408-409.details
|
|
(1 other version)Computable structures of rank omega (ck)(1).J. F. Knight & J. Millar - 2010 - Journal of Mathematical Logic 10 (1):31-43.details
|
|
Index sets and Scott sentences.J. F. Knight & C. McCoy - 2014 - Archive for Mathematical Logic 53 (5-6):519-524.details
|
|
Generic copies of countable structures.Chris Ash, Julia Knight, Mark Manasse & Theodore Slaman - 1989 - Annals of Pure and Applied Logic 42 (3):195-205.details
|
|
Atomic models higher up.Jessica Millar & Gerald E. Sacks - 2008 - Annals of Pure and Applied Logic 155 (3):225-241.details
|
|
The isomorphism problem for classes of computable fields.Wesley Calvert - 2004 - Archive for Mathematical Logic 43 (3):327-336.details
|
|
Bounds on Scott rank for various nonelementary classes.David Marker - 1990 - Archive for Mathematical Logic 30 (2):73-82.details
|
|
Describing groups.André Nies - 2007 - Bulletin of Symbolic Logic 13 (3):305-339.details
|
|
Index Sets for Classes of High Rank Structures.W. Calvert, E. Fokina, S. S. Goncharov, J. F. Knight, O. Kudinov, A. S. Morozov & V. Puzarenko - 2007 - Journal of Symbolic Logic 72 (4):1418 - 1432.details
|
|
(1 other version)Computable Trees of Scott Rank [image] , and Computable Approximation.Wesley Calvert, Julia F. Knight & Jessica Millar - 2006 - Journal of Symbolic Logic 71 (1):283 - 298.details
|
|
Bounds on Weak Scattering.Gerald E. Sacks - 2007 - Notre Dame Journal of Formal Logic 48 (1):5-31.details
|
|
Complexity Ranks of Countable Models.Su Gao - 2007 - Notre Dame Journal of Formal Logic 48 (1):33-48.details
|
|
On the Borel classification of the isomorphism class of a countable model.Arnold W. Miller - 1983 - Notre Dame Journal of Formal Logic 24 (1):22-34.details
|
|
Classification from a computable viewpoint.Wesley Calvert & Julia F. Knight - 2006 - Bulletin of Symbolic Logic 12 (2):191-218.details
|
|
A computably categorical structure whose expansion by a constant has infinite computable dimension.Denis Hirschfeldt, Bakhadyr Khoussainov & Richard Shore - 2003 - Journal of Symbolic Logic 68 (4):1199-1241.details
|
|
Computably categorical structures and expansions by constants.Peter Cholak, Sergey Goncharov, Bakhadyr Khoussainov & Richard Shore - 1999 - Journal of Symbolic Logic 64 (1):13-37.details
|
|
Effective model theory vs. recursive model theory.John Chisholm - 1990 - Journal of Symbolic Logic 55 (3):1168-1191.details
|
|
(1 other version)Scott complexity of countable structures.Rachael Alvir, Noam Greenberg, Matthew Harrison-Trainor & Dan Turetsky - 2021 - Journal of Symbolic Logic 86 (4):1706-1720.details
|
|
Bounds on Scott ranks of some polish metric spaces.William Chan - 2020 - Journal of Mathematical Logic 21 (1):2150001.details
|
|
Finitely generated groups are universal among finitely generated structures.Matthew Harrison-Trainor & Meng-Che “Turbo” Ho - 2021 - Annals of Pure and Applied Logic 172 (1):102855.details
|
|
Coding in the automorphism group of a computably categorical structure.Dan Turetsky - 2020 - Journal of Mathematical Logic 20 (3):2050016.details
|
|
Scott sentences for certain groups.Julia F. Knight & Vikram Saraph - 2018 - Archive for Mathematical Logic 57 (3-4):453-472.details
|
|
(1 other version)Computable structures of rank.J. F. Knight & J. Millar - 2010 - Journal of Mathematical Logic 10 (1):31-43.details
|
|
An example concerning Scott heights.M. Makkai - 1981 - Journal of Symbolic Logic 46 (2):301-318.details
|
|
Assigning an isomorphism type to a hyperdegree.Howard Becker - 2020 - Journal of Symbolic Logic 85 (1):325-337.details
|
|