Decidability and ℵ0-categoricity of theories of partially ordered sets
Copyright policy )Decidability and ℵ0-categoricity of theories of partially ordered sets
AbstractThis paper is primarily concerned with ℵ0-categoricity of theories of partially ordered sets. It contains some general conjectures, a collection of known results and some new theorems on ℵ0-categoricity. Among the latter are the following.Corollary 3.3. For every countable ℵ0-categoricalthere is a linear order of A such that (, <) is ℵ0-categorical.Corollary 6.7. Every ℵ0-categorical theory of a partially ordered set of finite width has a decidable theory.Theorem 7.7. Every ℵ0-categorical theory of reticles has a decidable theory.There is a section dealing just with decidability of partially ordered sets, the main result of this section beingTheorem 8.2. If (P, <) is a finite partially ordered set and KP is the class of partially ordered sets which do not embed (P, <), then Th(KP) is decidable iff KP contains only reticles.
- University of Connecticut United States
Model theory of denumerable and separable structures, Categoricity and completeness of theories, partially ordered set, finite width, Undecidability and degrees of sets of sentences, Ordered sets, Models of other mathematical theories, categoricity, reticle
Model theory of denumerable and separable structures, Categoricity and completeness of theories, partially ordered set, finite width, Undecidability and degrees of sets of sentences, Ordered sets, Models of other mathematical theories, categoricity, reticle
selected citations These citations are derived from selected sources.This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).11 popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.Average influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).Top 10% impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.Average
Citations provided by BIP!Popularity provided by BIP!