A first-order axiomatization of the theory of finite trees
type: Item
instance of: scholarly article
title: A first-order axiomatization of the theory of finite trees
zbMATH Open document ID: 0833.03010
DOI: 10.1007/BF01048403
author: Yanyan Li
published in: Journal of Logic, Language and Information
publication date: 1995-12-05T00:00:00Z
Mathematics Subject Classification ID: 03B65
zbMATH DE Number: 823621
zbMATH Keywords: first-order theories
zbMATH Keywords: axiomatizations
zbMATH Keywords: natural language syntax
zbMATH Keywords: Ehrenfeucht-Fraïssé games
zbMATH Keywords: finite trees
zbMATH Keywords: language complexity classes
MaRDI profile type: Publication
cites work: Linguistics, Logic and Finite Trees
cites work: Fundamental properties of infinite trees
cites work: Monadic \(\Pi _ 1^ 1\)-theories of \(\Pi _ 1^ 1\)-properties
cites work: Tree acceptors and some of their applications
cites work: Q3220545
cites work: Mathematical methods in linguistics
cites work: Decidability of Second-Order Theories and Automata on Infinite Trees
cites work: An axiom system for the weak monadic second order theory of two successors
description: scientific article; zbMATH DE number 823621