Search results for "Categoricity"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
74	Júlia Góth, Adrienn Skrop	Varying Retrieval Categoricity Using Hyperbolic Geometry.	Inf. Retr.	2005	DBLP DOI BibTeX RDF	Cayley-Klein model, ranking order preservation, similarity measures, information search and retrieval, hyperbolic geometry, Euclidean geometry
56	Alexander G. Melnikov	0"-Categorical Completely Decomposable Torsion-Free Abelian Groups.	CiE	2009	DBLP DOI BibTeX RDF	torsion-free abelian groups, computable categoricity, Computable model theory
45	Wilfried Hodges, Ian M. Hodkinson, Dugald Macpherson	Omega-Categoricity, Relative Categoricity and Coordinatisation.	Ann. Pure Appl. Log.	1990	DBLP DOI BibTeX RDF
31	Douglas A. Cenzer, Valentina S. Harizanov, Jeffrey B. Remmel	S01 and P01 Equivalence Structures.	CiE	2009	DBLP DOI BibTeX RDF	equivalence structures, effective categoricity, computability theory, computable model theory
31	Tapani Hyttinen	Uncountably categorical local tame abstract elementary classes with disjoint amalgamation.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF	Abstract elementary classes, Structure theorem, Categoricity
25	Sankaranarayanan Ananthakrishnan, Shrikanth S. Narayanan	Fine-grained pitch accent and boundary tone labeling with parametric F0 features.	ICASSP	2008	DBLP DOI BibTeX RDF
25	Herwig Nübling	Adding Skolem functions to simple theories.	Arch. Math. Log.	2004	DBLP DOI BibTeX RDF	Skolem function, Model theory, Simple
25	Gerard Ligozat	When Tables Tell It All: Qualitative Spatial and Temporal Reasoning Based on Linear Orderings.	COSIT	2001	DBLP DOI BibTeX RDF	weak representation, complete theory, relation algebra, temporal reasoning, spatial reasoning
23	Martin Fischer, Matteo Zicchetti	Internal Categoricity, Truth and Determinacy.	J. Philos. Log.	2023	DBLP DOI BibTeX RDF
23	Sebastien Vasey	On Categoricity in Successive Cardinals.	J. Symb. Log.	2022	DBLP DOI BibTeX RDF
23	Barbara F. Csima, Keng Meng Ng	Every Δ20 degree is a strong degree of categoricity.	J. Math. Log.	2022	DBLP DOI BibTeX RDF
23	Nikolay Bazhenov 0001, Dino Rossegger, Maxim V. Zubkov	On bi-embeddable categoricity of algebraic structures.	Ann. Pure Appl. Log.	2022	DBLP DOI BibTeX RDF
23	Paul Anh Tran-Hoang	On the Virtue of Categoricity.	Notre Dame J. Formal Log.	2021	DBLP DOI BibTeX RDF
23	Nikolay Bazhenov 0001, Ekaterina B. Fokina, Dino Rossegger, Luca San Mauro	Degrees of bi-embeddable categoricity.	Comput.	2021	DBLP DOI BibTeX RDF
23	Brynhildur Stefansdottir, Francesco Burroni, Sam Tilsen	Articulatory Characteristics of Icelandic Voiced Fricative Lenition: Gradience, Categoricity, and Speaker/Gesture-Specific Effects.	Interspeech	2021	DBLP DOI BibTeX RDF
23	Richard Krogman, Douglas Cenzer	Complexity and Categoricity of Injection Structures Induced by Finite State Transducers.	CiE	2021	DBLP DOI BibTeX RDF
23	Rod Downey, Noam Greenberg, Alexander G. Melnikov, Keng Meng Ng, Daniel Turetsky	Punctual Categoricity and Universality.	J. Symb. Log.	2020	DBLP DOI BibTeX RDF
23	Jacob Carson, Douglas Cenzer, Jeffrey B. Remmel	Effective Categoricity of Automatic Equivalence and Nested Equivalence Structures.	Theory Comput. Syst.	2020	DBLP DOI BibTeX RDF
23	Barbara F. Csima, Michael Deveau, Matthew Harrison-Trainor, Mohammad Assem Mahmoud	Degrees of categoricity above limit ordinals.	Comput.	2020	DBLP DOI BibTeX RDF
23	Jedrzej Kolodziejski	Bisimulational Categoricity.	AiML	2020	DBLP BibTeX RDF
23	Mohammad Assem Mahmoud	Degrees of categoricity of trees and the isomorphism problem.	Math. Log. Q.	2019	DBLP DOI BibTeX RDF
23	Ekaterina B. Fokina, Valentina S. Harizanov, Daniel Turetsky	Computability-theoretic categoricity and Scott families.	Ann. Pure Appl. Log.	2019	DBLP DOI BibTeX RDF
23	Barbara F. Csima, Jonathan Stephenson	Finite computable dimension and degrees of categoricity.	Ann. Pure Appl. Log.	2019	DBLP DOI BibTeX RDF
23	Nathanael L. Ackerman, Will Boney, Sebastien Vasey	Categoricity in multiuniversal classes.	Ann. Pure Appl. Log.	2019	DBLP DOI BibTeX RDF
23	Dominik Kirst, Gert Smolka	Categoricity Results and Large Model Constructions for Second-Order ZF in Dependent Type Theory.	J. Autom. Reason.	2019	DBLP DOI BibTeX RDF
23	Nikolay Bazhenov 0001, Ekaterina B. Fokina, Dino Rossegger, Luca San Mauro	Degrees of bi-embeddable categoricity of equivalence structures.	Arch. Math. Log.	2019	DBLP DOI BibTeX RDF
23	Nikolay Bazhenov 0001, Iskander Sh. Kalimullin, Mars M. Yamaleev	Degrees of Categoricity and spectral Dimension.	J. Symb. Log.	2018	DBLP DOI BibTeX RDF
23	Christian Rosendal, Sebastien Vasey	Superstability and Categoricity in Abstract Elementary Classes, Carnegie Mellon University, USA, 2017. Supervised by Rami Grossberg.	Bull. Symb. Log.	2018	DBLP DOI BibTeX RDF
23	Tapani Hyttinen, Kaisa Kangas	Categoricity and universal classes.	Math. Log. Q.	2018	DBLP DOI BibTeX RDF
23	Sebastien Vasey	Shelah's eventual categoricity conjecture in tame abstract elementary classes with primes.	Math. Log. Q.	2018	DBLP DOI BibTeX RDF
23	Giorgio Magri	Idempotency, Output-Drivenness and the Faithfulness Triangle Inequality: Some Consequences of McCarthy's (2003) Categoricity Generalization.	J. Log. Lang. Inf.	2018	DBLP DOI BibTeX RDF
23	Nikolay Bazhenov 0001, Margarita Marchuk	Degrees of Categoricity for Prime and Homogeneous Models.	CiE	2018	DBLP DOI BibTeX RDF
23	Barbara F. Csima, Matthew Harrison-Trainor	Degrees of Categoricity on a cone via η-Systems.	J. Symb. Log.	2017	DBLP DOI BibTeX RDF
23	Sebastien Vasey	Downward categoricity from a successor inside a good frame.	Ann. Pure Appl. Log.	2017	DBLP DOI BibTeX RDF
23	Sebastien Vasey	Shelah's eventual categoricity conjecture in universal classes: Part I.	Ann. Pure Appl. Log.	2017	DBLP DOI BibTeX RDF
23	Will Boney, Rami P. Grossberg, Monica M. VanDieren, Sebastien Vasey	Superstability from categoricity in abstract elementary classes.	Ann. Pure Appl. Log.	2017	DBLP DOI BibTeX RDF
23	Francis Adams, Douglas Cenzer	Computability and categoricity of weakly ultrahomogeneous structures.	Comput.	2017	DBLP DOI BibTeX RDF
23	Nikolay Bazhenov 0001	A Note on Effective Categoricity for Linear Orderings.	TAMC	2017	DBLP DOI BibTeX RDF
23	Russell Miller 0001	Revisiting Uniform Computable Categoricity: For the Sixtieth Birthday of Prof. Rod Downey.	Computability and Complexity	2017	DBLP DOI BibTeX RDF
23	Dominik Kirst, Gert Smolka	Categoricity Results for Second-Order ZF in Dependent Type Theory.	ITP	2017	DBLP DOI BibTeX RDF
23	Nikolay Bazhenov 0001, Mars M. Yamaleev	Degrees of Categoricity of Rigid Structures.	CiE	2017	DBLP DOI BibTeX RDF
23	Levon Haykazyan	Categoricity in quasiminimal Pregeometry Classes.	J. Symb. Log.	2016	DBLP DOI BibTeX RDF
23	Ekaterina B. Fokina, Andrey N. Frolov, Iskander Sh. Kalimullin	Categoricity Spectra for Rigid Structures.	Notre Dame J. Formal Log.	2016	DBLP DOI BibTeX RDF
23	Bernard A. Anderson, Barbara F. Csima	Degrees That Are Not Degrees of Categoricity.	Notre Dame J. Formal Log.	2016	DBLP DOI BibTeX RDF
23	Nikolay Bazhenov 0001	Categoricity Spectra for Polymodal Algebras.	Stud Logica	2016	DBLP DOI BibTeX RDF
23	Noam Greenberg, Asher M. Kach, Steffen Lempp, Daniel Turetsky	Computability and uncountable Linear Orders I: Computable Categoricity.	J. Symb. Log.	2015	DBLP DOI BibTeX RDF
23	Jouko A. Väänänen, Tong Wang	Internal Categoricity in Arithmetic and Set Theory.	Notre Dame J. Formal Log.	2015	DBLP DOI BibTeX RDF
23	Rod Downey, Alexander G. Melnikov, Keng Meng Ng	On -categoricity of equivalence relations.	Ann. Pure Appl. Log.	2015	DBLP DOI BibTeX RDF
23	Sean Walsh 0001, Sean Ebels-Duggan	Relative Categoricity and Abstraction Principles.	Rev. Symb. Log.	2015	DBLP DOI BibTeX RDF
23	Timothy H. McNicholl	A Note on the Computable Categoricity of \ell ^p ℓ p Spaces.	CiE	2015	DBLP DOI BibTeX RDF
23	Danielle Turton	Determining categoricity in English /l/-darkening: A principal component analysis of ultrasound spline data.	ICPhS	2015	DBLP BibTeX RDF
23	John T. Baldwin 0001	Completeness and Categoricity (in Power): Formalization without foundationalism.	Bull. Symb. Log.	2014	DBLP DOI BibTeX RDF
23	Ole Thomassen Hjortland	Speech Acts, Categoricity, and the Meanings of Logical Connectives.	Notre Dame J. Formal Log.	2014	DBLP BibTeX RDF
23	Stephen G. Simpson	Baire Categoricity and Σ01-Induction.	Notre Dame J. Formal Log.	2014	DBLP DOI BibTeX RDF
23	Jesse Johnson	Computable categoricity for pseudo-exponential fields of size ℵ1.	Ann. Pure Appl. Log.	2014	DBLP DOI BibTeX RDF
23	Francis Adams, Douglas Cenzer	Computability and Categoricity of Ultrahomogeneous Structures.	CiE	2014	DBLP DOI BibTeX RDF
23	Barbara F. Csima, Johanna N. Y. Franklin, Richard A. Shore	Degrees of Categoricity and the Hyperarithmetic Hierarchy.	Notre Dame J. Formal Log.	2013	DBLP DOI BibTeX RDF
23	Monica Van Dieren	Erratum to "Categoricity in abstract elementary classes with no maximal models" [Ann. Pure Appl. Logic 141 (2006) 108-147].	Ann. Pure Appl. Log.	2013	DBLP DOI BibTeX RDF
23	Stephen G. Simpson, Keita Yokoyama	Reverse mathematics and Peano categoricity.	Ann. Pure Appl. Log.	2013	DBLP DOI BibTeX RDF
23	Toby Meadows	What can a Categoricity Theorem Tell US?	Rev. Symb. Log.	2013	DBLP DOI BibTeX RDF
23	Olivia Caramello	Atomic Toposes and Countable Categoricity.	Appl. Categorical Struct.	2012	DBLP DOI BibTeX RDF
23	Aleksander Ivanov	The complexity of countable categoricity in finite languages.	Math. Log. Q.	2012	DBLP DOI BibTeX RDF
23	Georg Schiemer	Carnap on extremal Axioms, "Completeness of the Models, " and Categoricity.	Rev. Symb. Log.	2012	DBLP DOI BibTeX RDF
23	Tapani Hyttinen, Meeri Kesälä	Categoricity transfer in simple finitary abstract elementary classes.	J. Symb. Log.	2011	DBLP DOI BibTeX RDF
23	Sy-David Friedman, Martin Koerwien	On Absoluteness of Categoricity in Abstract Elementary Classes.	Notre Dame J. Formal Log.	2011	DBLP DOI BibTeX RDF
23	Douglas Cenzer, Valentina S. Harizanov, Jeffrey B. Remmel	Effective Categoricity of Injection Structures.	CiE	2011	DBLP DOI BibTeX RDF
23	Ekaterina B. Fokina, Iskander Sh. Kalimullin, Russell G. Miller	Degrees of categoricity of computable structures.	Arch. Math. Log.	2010	DBLP DOI BibTeX RDF
23	Russell Miller 0001	d-computable categoricity for algebraic fields.	J. Symb. Log.	2009	DBLP DOI BibTeX RDF
23	Saharon Shelah	Model theory without choice? Categoricity.	J. Symb. Log.	2009	DBLP DOI BibTeX RDF
23	Wesley Calvert, Douglas A. Cenzer, Valentina S. Harizanov, Andrei S. Morozov	Effective categoricity of Abelian p-groups.	Ann. Pure Appl. Log.	2009	DBLP DOI BibTeX RDF
23	Wilfrid Hodges, Anatoly Yakovlev	Relative categoricity in abelian groups II.	Ann. Pure Appl. Log.	2009	DBLP DOI BibTeX RDF
23	Åsa Hirvonen, Tapani Hyttinen	Categoricity in homogeneous complete metric spaces.	Arch. Math. Log.	2009	DBLP DOI BibTeX RDF
23	Wesley Calvert, Sergei S. Goncharov, Julia F. Knight, Jessica Millar	Categoricity of computable infinitary theories.	Arch. Math. Log.	2009	DBLP DOI BibTeX RDF
23	Bakhadyr Khoussainov, Frank Stephan 0001, Yue Yang 0004	Computable categoricity and the Ershov hierarchy.	Ann. Pure Appl. Log.	2008	DBLP DOI BibTeX RDF
23	Barbara F. Csima, Bakhadyr Khoussainov, Jiamou Liu	Computable Categoricity of Graphs with Finite Components.	CiE	2008	DBLP DOI BibTeX RDF
23	Rami P. Grossberg, Monica Van Dieren	Shelah's categoricity conjecture from a successor for tame abstract elementary classes.	J. Symb. Log.	2006	DBLP DOI BibTeX RDF
23	Rami P. Grossberg, Monica M. VanDieren	Categoricity from One Successor cardinal in Tame Abstract Elementary Classes.	J. Math. Log.	2006	DBLP DOI BibTeX RDF
23	Tapani Hyttinen, Olivier Lessmann	Simplicity and uncountable categoricity in excellent classes.	Ann. Pure Appl. Log.	2006	DBLP DOI BibTeX RDF
23	Monica Van Dieren	Categoricity in abstract elementary classes with no maximal models.	Ann. Pure Appl. Log.	2006	DBLP DOI BibTeX RDF
23	Wesley Calvert, Douglas Cenzer, Valentina S. Harizanov, Andrei S. Morozov	Effective categoricity of equivalence structures.	Ann. Pure Appl. Log.	2006	DBLP DOI BibTeX RDF
23	John T. Baldwin 0001, Olivier Lessmann	Uncountable categoricity of local abstract elementary classes with amalgamation.	Ann. Pure Appl. Log.	2006	DBLP DOI BibTeX RDF
23	Steffen Lempp, Charles F. D. McCoy, Russell G. Miller, Reed Solomon	Computable categoricity of trees of finite height.	J. Symb. Log.	2005	DBLP DOI BibTeX RDF
23	Olivier Lessmann	Upward categoricity from a successor cardinal for tame abstract classes with amalgamation.	J. Symb. Log.	2005	DBLP DOI BibTeX RDF
23	Itay Ben-Yaacov	Uncountable dense categoricity in cats.	J. Symb. Log.	2005	DBLP DOI BibTeX RDF
23	Andrey Morozov 0002	Categoricity in Restricted Classes.	CiE	2005	DBLP DOI BibTeX RDF
23	Olivier Lessmann	Categoricity and U-rank in excellent classes.	J. Symb. Log.	2003	DBLP DOI BibTeX RDF
23	Walker M. White	On the complexity of categoricity in computable structures.	Math. Log. Q.	2003	DBLP DOI BibTeX RDF
23	Charles F. D. McCoy	Delta20 - categoricity in Boolean algebras and linear orderings.	Ann. Pure Appl. Log.	2003	DBLP DOI BibTeX RDF
23	Anand Pillay, Mark D. Schlatter	Some Results on Permutation Group Isomorphism and Categoricity.	J. Symb. Log.	2002	DBLP DOI BibTeX RDF
23	Gabriel Uzquiano	Categoricity Theorems and Conceptions of Set.	J. Philos. Log.	2002	DBLP DOI BibTeX RDF
23	Herman Geuvers, Milad Niqui	Constructive Reals in Coq: Axioms and Categoricity.	TYPES	2000	DBLP DOI BibTeX RDF
23	Saharon Shelah, Andrés Villaveces	Toward Categoricity for Classes with no Maximal Models.	Ann. Pure Appl. Log.	1999	DBLP DOI BibTeX RDF
23	Saharon Shelah	Categoricity for Abstract Classes with Amalgamation.	Ann. Pure Appl. Log.	1999	DBLP DOI BibTeX RDF
23	Tatjana L. Plotkin, Sarit Kraus, Boris I. Plotkin	Problems of Equivalence, Categoricity of Axioms and States Description in Databases.	Stud Logica	1998	DBLP DOI BibTeX RDF
23	Douglas A. Cenzer, Jeffrey B. Remmel	Complexity and Categoricity.	Inf. Comput.	1998	DBLP DOI BibTeX RDF
23	Jirí Rosický	Accessible Categories, Saturation and Categoricity.	J. Symb. Log.	1997	DBLP DOI BibTeX RDF
23	Anand Pillay, Akito Tsuboi	Amalgamations Preserving aleph0-Categoricity.	J. Symb. Log.	1997	DBLP DOI BibTeX RDF
23	Bakhadyr Khoussainov, Richard A. Shore	Categoricity and Scott Families.	DMTCS	1996	DBLP BibTeX RDF
23	Michael C. Laskowski	The Categoricity Spectrum of Pseudo-elementary Classes.	Notre Dame J. Formal Log.	1992	DBLP DOI BibTeX RDF
23	David M. Evans 0001, P. R. Hewitt	Counterexamples to a Conjecture on Relative Categoricity.	Ann. Pure Appl. Log.	1990	DBLP DOI BibTeX RDF