Abstract
A type analysable in one-based types in a simple theory is itself one-based.
Citation
Frank O. Wagner. "Some remarks on one-basedness." J. Symbolic Logic 69 (1) 34 - 38, March 2004. https://doi.org/10.2178/jsl/1080938823
Information
Published: March 2004
First available in Project Euclid: 2 April 2004
zbMATH: 1073.03018
MathSciNet: MR2039343
Digital Object Identifier: 10.2178/jsl/1080938823
Subjects:
Primary:
03C45
Keywords:
analysable
,
internal
,
one-based
,
simple
,
Stable
Rights: Copyright © 2004 Association for Symbolic Logic