Technologie-Atlas
Serverreihen in einem hellen Rechenzentrum

Projekt

Laver Tables und große Kardinalzahlen

Set Theory, Laver tables, Left distributive algebras, Large cardinals, Rank-into-rank elementary embeddings, Ordinal analysis, Naturwissenschaften, Informatik, Mathematik, Algebra, Kombinatorik, Mathematische Logik, Supercomputing

Set Theory, Laver tables, Left distributive algebras, Large cardinals, Rank-into-rank elementary embeddings, Ordinal analysis, Naturwissenschaften, Informatik, Mathematik, Algebra, Kombinatorik, Mathematische Logik, Supercomputing

Weiter entdecken

Ähnliche Beiträge

6 Empfehlungen
Projekt Lange Spiele und Verstärkungen der Determiniert Set theory, Inner model theory, Determinacy, Large cardinals, Long games, Hod mice, Naturwissenschaften, Mathematik, Mathematisch… 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 ASP Chef Grows Mustache to Look Better Abstract We present ASP Chef Mustache, an extension of ASP Chef that enhances template-based rendering of answer set programming… Beitrag ansehen Projekt Große Erdbeobachtungsdaten zur geomorphologischen Kartierung Earth Observation (EO), Earth Observation Data Cubes (EODCs), Geomorphology, Vector Data Cubes, Object-based Image Analysis, Natu… Beitrag ansehen Projekt Schwache Theorien, Woodin-Kardinalzahlen u. Determiniertheit Inner Model Theory, Weak Set Theories, Logic, Woodin Cardinal, Infinite Games, Naturwissenschaften, Mathematik, Mathematische Log… Beitrag ansehen Projekt Definable Algebraic Topology This project addresses fundamental issues in the development of algebraic topology, coarse geometry, and other areas of mathemati… Beitrag ansehen

Passend zu diesem Beitrag

Hochschulen

1 Verknüpfungen

Passend zu diesem Beitrag

Förderungen

1 Verknüpfungen