Vaught's conjecture for theories of discretely ordered structures

DC Field	Value	Language
dc.contributor.author	Predrag Tanović	en_US
dc.date.accessioned	2025-11-19T12:44:47Z	-
dc.date.available	2025-11-19T12:44:47Z	-
dc.date.issued	2022	-
dc.identifier.issn	0029-4527	-
dc.identifier.uri	http://researchrepository.mi.sanu.ac.rs/handle/123456789/5604	-
dc.description.abstract	Let T be a countable complete first-order theory with a definable, infinite, discrete linear order. We prove that T has continuum-many countable models. The proof is purely first-order, but raises the question of Borel completeness of T.	en_US
dc.publisher	University of Notre Dame	en_US
dc.relation.ispartof	Notre Dame Journal of Formal Logic	en_US
dc.subject	countable model \| discrete linear order \| first order theory \| simple type \| Vaught’s conjecture	en_US
dc.title	Vaught's conjecture for theories of discretely ordered structures	en_US
dc.type	Article	en_US
dc.identifier.doi	10.1215/00294527-2024-0014	-
dc.identifier.scopus	2-s2.0-85212276170	-
dc.contributor.affiliation	Mathematics	en_US
dc.contributor.affiliation	Mathematical Institute of the Serbian Academy of Sciences and Arts	-
dc.relation.firstpage	247	-
dc.relation.lastpage	257	-
dc.relation.issue	3	-
dc.relation.volume	65	-
dc.description.rank	M22	-
item.openairetype	Article	-
item.fulltext	No Fulltext	-
item.openairecristype	http://purl.org/coar/resource_type/c_18cf	-
item.grantfulltext	none	-
item.cerifentitytype	Publications	-

2

checked on May 7, 2026

25

checked on May 9, 2026

Check