×

Models with second order properties. II: Trees with no undefined branches. (English) Zbl 0383.03019


MSC:

03C85 Second- and higher-order model theory
03C30 Other model constructions
05C05 Trees
06A06 Partial orders, general
03C80 Logic with extra quantifiers and operators
PDF BibTeX XML Cite
Full Text: DOI