Classes and Theories of Trees Associated with a Class Of Linear Orders

Publication: Research - peer-reviewJournal article – Annual report year: 2010

View graph of relations

Given a class of linear order types C, we identify and study several different classes of trees, naturally associated with C in terms of how the paths in those trees are related to the order types belonging to C. We investigate and completely determine the set-theoretic relationships between these classes of trees and between their corresponding first-order theories. We then obtain some general results about the axiomatization of the first-order theories of some of these classes of trees in terms of the first-order theory of the generating class C, and indicate the problems obstructing such general results for the other classes. These problems arise from the possible existence of nondefinable paths in trees, that need not satisfy the first-order theory of C, so we have started analysing first order definable and undefinable paths in trees.
Original languageEnglish
JournalInterest Group in Pure and Applied Logics. Logic Journal
Publication date2011
Volume19
Issue1
Pages217-232
ISSN1367-0751
DOIs
StatePublished
CitationsWeb of Science® Times Cited: 0

Keywords

  • First-order theories, Trees, Definable and non-definable paths, Linear orders
Download as:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word

ID: 6302266