Model-interpretability into trees and applications

DOI10.1007/BF02276797zbMath0324.02041MaRDI QIDQ4087166

Wolfgang Rautenberg, Ivan Korec

Publication date: 1976

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/137911

Mathematics Subject Classification ID

Trees (05C05) Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25) Graph theory (05C99)

Related Items (3)

A uniform method for proving lower bounds on the computational complexity of logical theories ⋮ A list of arithmetical structures complete with respect to the first-order definability ⋮ The structure of the models of decidable monadic theories of graphs

Cites Work

• An application of games to the completeness problem for formalized theories
• Definability in structures of finite valency
• Stability, the f.c.p., and superstability; model theoretic properties of formulas in first order theory
• Decidability of Second-Order Theories and Automata on Infinite Trees
• Interpretierbarkeit und Entscheidbarkeit in der Graphentheorie I
• Unnamed Item

This page was built for publication: Model-interpretability into trees and applications