Theœ model-theoretic complexity of automatic linear orders

Theœ model-theoretic complexity of automatic linear orders

Ilmenau, Technische Universität Ilmenau, Diss., 2015 Ilmenau, Ilmenau University of Technology, Diss., 2015 Ilmenau, Technische Universität Ilmenau, Diss., 2015

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Huschenbett, Martin
Format: Web Resource
Sprache:eng ; ger
Schlagworte:
automatic structures
Computer Science
Endlicher Automat
Finite vending machine
finite-condensation rank
Informatik
Linear order
linear orders
Lineare Ordnung
Mathematik
Ordinalzahl
partition relations
predicate logic
Prädikatenlogik
Ramsey Number
Ramsey theory
Ramsey-Zahl
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Ilmenau, Technische Universität Ilmenau, Diss., 2015 Ilmenau, Ilmenau University of Technology, Diss., 2015 Ilmenau, Technische Universität Ilmenau, Diss., 2015