Electronic Resource
Springer
Archive for mathematical logic
29 (1990), S. 213-229
ISSN:
1432-0665
Keywords:
Subject Classification Numbers 03 C99 (Primary), 03 C45 (Secondary)
Source:
Springer Online Journal Archives 1860-2000
Topics:
Mathematics
Notes:
Summary LetT be a universal theory of graphs such that Mod(T) is closed under disjoint unions. Letℳ T be a disjoint union ℳ i such that eachℳ i is a finite model ofT and every finite isomorphism type in Mod(T) is represented in{ℳ i ∶i〈Ω3}. We investigate under what conditions onT, Th(ℳ T ) is a coinductive theory, where a theory is called coinductive if it can be axiomatizated by ∃∀-sentences. We also characterize coinductive graphs which have quantifier-free rank 1.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/BF01651325
Permalink
|
Location |
Call Number |
Expected |
Availability |