Eine neue Turinggradklasse aus der Strukturt…

Projekt Berechenbarkeit in kombinatorischen Spielen und Strukturen Computability Theory, Computable Structure Theory, Punctual Degrees, Randomness, Computably Enumerable Turing Degrees, Forbidding… Beitrag ansehen

Projekt Die Lernhierarchie: Ein Werkzeug für Klassifikationsprobleme Classification problems, Algorithmic Learning, Computable structure theory, Descriptive set theory, Continuous reducibility, Natu… Beitrag ansehen

Projekt Strukturelle Komplexitätsmaße für grundlegende Theorien Scott analysis, Computable Structure Theory, Foundations Of Mathematics, Nonstandard Models Of Arithmetic, Infinitary Logic, Natu… Beitrag ansehen

Projekt Hierarchien von Turinggraden und höhere Rekursionstheorie Computability Theory, Turing degrees, Degree Theory, Admissible Ordinals, Priority Arguments, Naturwissenschaften, Mathematik, Ma… Beitrag ansehen

Projekt Neue Ansätze zur nichtstandardmäßigen Zulässigkeit Admissible Ordinal, Reflecting Ordinal, Kripke-Platek, Impredicative Theory, Higher Recursion Theory, Recursive Comprehension, Na… Beitrag ansehen

Projekt Neue modelltheoretische Struktur Classification Theory, Large Fields, Model Theory Of Fields, Trace Definability, NIP, Naturwissenschaften, Mathematik, Algebra, M… Beitrag ansehen

Ähnliche Beiträge

Hochschulen

Förderungen