A note on effective categoricity for linear orderings › Research Explorer

Novosibirsk State University's Research Portal

A note on effective categoricity for linear orderings

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

DOI

https://doi.org/10.1007/978-3-319-55911-7_7
Final published version

Nikolay Bazhenov

Original language	English
Title of host publication	Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Proceedings
Editors	TV Gopal, G Jager, S Steila
Publisher	Springer
Pages	85-96
Number of pages	12
ISBN (Print)	9783319559100
DOIs	https://doi.org/10.1007/978-3-319-55911-7_7
Publication status	Published - 1 Jan 2017
Event	14th Annual Conference on Theory and Applications of Models of Computation, TAMC 2017 - Bern, Switzerland Duration: 20 Apr 2017 → 22 Apr 2017 Conference number: 14

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	10185 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	14th Annual Conference on Theory and Applications of Models of Computation, TAMC 2017
Abbreviated title	TAMC 2017
Country/Territory	Switzerland
City	Bern
Period	20.04.2017 → 22.04.2017

Research areas

Autostability relative to strong constructivizations, Autostability spectrum, Categoricity spectrum, Computable categoricity, Computable structure, Decidable structure, Degree of categoricity, Linear ordering, Ordered abelian group, STABILITY, COMPUTABLE CATEGORICITY, RECURSIVE STRUCTURES, COMPLEXITY, MODEL-THEORY, SPECTRA

ID: 10262774