Unity of logic and computation 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, proceedings

Degree theory.- Cupping computably enumerable degrees simultaneously.- The relationship between local and global structure in the enumeration degrees.- A directed system of Scott ideals.- Proof Theory.- The non-normal abyss in Kleene's computability theory.- A Constructive Picture of Noetherian...

Ausführliche Beschreibung

Bibliographische Detailangaben

Körperschaft:	Conference on Computability in Europe (VerfasserIn)
Weitere Verfasser:	Della Vedova, Gianluca (HerausgeberIn), Dundua, Besik (HerausgeberIn), Lempp, Steffen (HerausgeberIn), Manea, Florin (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham Springer 2023
Schriftenreihe:	Lecture notes in computer science 13967
Schlagworte:	Algorithmen und Datenstrukturen > COMPUTERS / Programming / Algorithms > Numerical analysis > Konferenzschrift > Komplexitätstheorie > Beweistheorie > Kombinatorische Topologie
Online Zugang:	Cover zbMATH
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!