APPROXIMATING TREES AS COLOURED LINEAR ORDERS AND COMPLETE AXIOMATISATIONS OF SOME CLASSES OF TREES (Q5015724): Difference between revisions

Revision as of 10:52, 27 July 2024

scientific article; zbMATH DE number 7442019

Language	Label	Description	Also known as
English	APPROXIMATING TREES AS COLOURED LINEAR ORDERS AND COMPLETE AXIOMATISATIONS OF SOME CLASSES OF TREES	scientific article; zbMATH DE number 7442019

Statements

instance of

scholarly article

0 references

title

APPROXIMATING TREES AS COLOURED LINEAR ORDERS AND COMPLETE AXIOMATISATIONS OF SOME CLASSES OF TREES (English)

0 references

0 references

0 references

The Journal of Symbolic Logic

0 references

publication date

9 December 2021

0 references

zbMATH Keywords

axiomatisation

0 references

first-order theory

0 references

coloured linear order

0 references

tree

0 references

MaRDI profile type

Publication

0 references

full work available at URL

https://doi.org/10.1017/jsl.2021.40

0 references

cites work

Monadic $\Pi _ 1^ 1$-theories of $\Pi _ 1^ 1$-properties

0 references

Q5687548

0 references

Structure of partially ordered sets with transitive automorphism groups

0 references

Q4894127

0 references

The first order properties of products of algebraic systems

0 references

Classes and theories of trees associated with a class of linear orders

0 references

The decision problem for branching time logic

0 references

Q3757893

0 references

First-Order Theories of Orthogonality Structures

0 references

Classification of finite coloured linear orderings

0 references

Ehrenfeucht-Fraïssé games on ordinals

0 references

A first-order axiomatization of the theory of finite trees

0 references

Q3949052

0 references

The Reconstruction of Trees from Their Automorphism Groups

0 references

On $ℵ_0$-categoricity and the theory of trees

0 references

Identifiers

DOI

10.1017/jsl.2021.40

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5015724

@@ Property / cites work @@
+Monadic \(\Pi _ 1^ 1\)-theories of \(\Pi _ 1^ 1\)-properties
+Normal rank
@@ Property / cites work @@
+Q5687548
@@ Property / cites work: Q5687548 / rank @@
+Normal rank
@@ Property / cites work @@
+Structure of partially ordered sets with transitive automorphism groups
+Normal rank
@@ Property / cites work @@
+Q4894127
@@ Property / cites work: Q4894127 / rank @@
+Normal rank
@@ Property / cites work @@
+The first order properties of products of algebraic systems
+Normal rank
@@ Property / cites work @@
+Classes and theories of trees associated with a class of linear orders
+Normal rank
@@ Property / cites work @@
+The decision problem for branching time logic
@@ Property / cites work: The decision problem for branching time logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3757893
@@ Property / cites work: Q3757893 / rank @@
+Normal rank
@@ Property / cites work @@
+First-Order Theories of Orthogonality Structures
@@ Property / cites work: First-Order Theories of Orthogonality Structures / rank @@
+Normal rank
@@ Property / cites work @@
+Classification of finite coloured linear orderings
+Normal rank
@@ Property / cites work @@
+Ehrenfeucht-Fraïssé games on ordinals
@@ Property / cites work: Ehrenfeucht-Fraïssé games on ordinals / rank @@
+Normal rank
@@ Property / cites work @@
+A first-order axiomatization of the theory of finite trees
+Normal rank
@@ Property / cites work @@
+Q3949052
@@ Property / cites work: Q3949052 / rank @@
+Normal rank
@@ Property / cites work @@
+The Reconstruction of Trees from Their Automorphism Groups
+Normal rank
@@ Property / cites work @@
+On $ℵ_0$-categoricity and the theory of trees
@@ Property / cites work: On $ℵ_0$-categoricity and the theory of trees / rank @@
+Normal rank