Verwandte Artikel zu Well-Quasi Orders in Computation, Logic, Language and...
Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory - Softcover
Zu dieser ISBN ist aktuell kein Angebot verfügbar.
Inhaltsangabe
Well, Better, and in-between.- The Categorical Structure of Well-Quasi Orders.- On Kriz's Theorem.- On the Width of FAC Orders, a Somewhat Rediscovered Notion.- Preliminary Well-quasi Orders in the Study of Hierarchies and Reducibilities.- The Ideal Approach to Computing Closed Subsets in Well-Quasi-Orderings.- Well-Quasi Orders and Regularity.- Well Quasi Ordering and Embeddability of Relational Structures.- A Functional Interpretation of Zorn's Lemma and its Application in Well-Quasi-Order Theory.- The Reverse Mathematics of wqos and bqos.- Well-partial Ordering and the Maximal Order Type.- TBC.- The Worlds of Well-Partial-Orders and Ordinal Notation systems.- Bounds for the Strength of the Graph Minor Theorem.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagSpringer
- Erscheinungsdatum2020
- ISBN 10 303030230X
- ISBN 13 9783030302306
- EinbandPaperback
- SpracheEnglisch
- Kontakt zum HerstellerNicht verfügbar
(Keine Angebote verfügbar)
Buch Finden: Kaufgesuch aufgebenSie finden Ihr gewünschtes Buch nicht? Wir suchen weiter für Sie. Sobald einer unserer Buchverkäufer das Buch bei AbeBooks anbietet, werden wir Sie informieren!
Kaufgesuch aufgeben
