84 Arbeiten
Die Arbeit nutzt Konsequenzen des Ultrapower-Axioms, um zu zeigen, dass die Anzahl der normalen Maße auf sehr großen messbaren Kardinalzahlen, einschließlich der ersten messbaren Kardinalzahl über einem superkompakten oder eines messbaren Grenzwerts superkompakter Kardinalzahlen, beliebigen vorgegebenen Mustern folgen kann, ohne dabei auf innere Modell-Techniken angewiesen zu sein.
Dieser Artikel führt mathematisch in das Konzept der Kontextualität ein und betont, dass es sich um ein allgemeines Merkmal der Wahrscheinlichkeitstheorie und Logik handelt, das über die Quantenmechanik hinausgeht.
Diese Arbeit liefert eine vollständige Beschreibung des Untervarietätenverbandes der De-Morgan-Halbverbände, indem sie für jede Untervarietät endliche Erzeuger, eine Charakterisierung der De-Morgan-Płonka-Darstellungen und eine syntaktische Beschreibung der gültigen Identitäten bereitstellt.
Diese Arbeit zeigt, dass Homotopietyptheorie, erweitert um lexische und zugängliche Modalitäten, als Sprache zur Rekonstruktion und zum synthetischen Nachweis von Diagrammen von -Logoi dient und damit eine höherdimensionale Verallgemeinerung von Sterlings synthetischer Tait-Berechenbarkeit darstellt.
Diese Arbeit stellt ein diskretes mathematisches Rahmenwerk vor, das mittels grobkörniger Partitionen und eines KL-basierten Informationsverlustmaßes die Abwägung zwischen Interpretierbarkeit und Informationsgenauigkeit in erklärbarer KI quantifiziert.
Diese Arbeit führt eine durch eine Variation des Banach-Mazur-Spiels definierte Eigenschaft von Posets ein, die die (ω₁+1)-strategische Abgeschlossenheit stärkt, zeigt, dass das Forcing-Axiom PFA unter Forcing über solchen Posets erhalten bleibt, und nutzt dies zur Reproduktion eines Beweises von Magidor sowie zur Abgrenzung von der (ω₁+1)-operationalen Abgeschlossenheit.
Diese Arbeit definiert und untersucht die universelle Kategorie „vernünftiger Kategorien starker Vektorräume" als eine orthogonale Unterkategorie von , zeigt deren Äquivalenz zu „ultraendlichen Summierbarkeitsräumen" und analysiert deren monoidale Strukturen sowie Beziehungen zu anderen Kategorien topologischer Vektorräume.
Diese Arbeit verallgemeinert Kaplanskys Satz über maximalkonvexe Körper auf o-minimale Strukturen, indem sie --sphärische Vervollständigungen für Modelle von konstruiert und deren Eindeutigkeit sowie die definierbare sphärische Vollständigkeit nachweist.
Diese Arbeit stellt zwei Varianten von mengentheoretischen Klettereigenschaften vor, zeigt, dass die erste Variante mit dem Proper Forcing Axiom (PFA) vereinbar ist, während die zweite Variante als Martin-artige Axiome charakterisiert werden kann, die nicht mit PFA vereinbar sind, und untersucht die Konsistenz großer Fragmente von PFA mit diesen Prinzipien.
Diese Arbeit identifiziert und mechanisch verifiziert eine fundamentale Barriere, die direkte kompositionelle Terminierungsbeweise für schrittverdoppelnde Rekursoren unmöglich macht, und schlägt einen modularen Ausweg vor, der durch eine vollständige Zertifizierungskette und externe Validierung bestätigt wird.
Die Autoren zeigen, dass die Fragilität von Tennenbaums Theorem auch auf Fragmente der Peano-Arithmetik mittlerer Stärke zutrifft, indem sie eine allgemeine starke Sprung-Inversion beweisen und damit eine Folge definitorisch äquivalenter Theorien konstruieren, die jeweils nichtstandardisierte berechenbare Modelle zulassen.
Der Artikel untersucht die kombinatorischen Eigenschaften regulierter Partitionen freier -Wirkungen auf nulldimensionalen polnischen Räumen und zeigt, dass sich die regulären Zahlen für den Fall (mit dem Wert 3) deutlich von denen für unterscheiden, wobei für der Wert 5 ermittelt wird.
Diese Arbeit zeigt aus der Sicht der deskriptiven Mengenlehre, dass die Konjugationsrelation auf einseitigen Subshiften über dem Alphabet weder baumartig noch amenable ist.
Dieser Übersichtsartikel untersucht systematische Ansätze für basisbeschränkte Fragmente der Aussagen- und Modallogik, indem er die etablierte Post'sche Gitterstruktur auf den Aussagenfall anwendet und zwei historische Forschungsstränge zur Modallogik – einen allgemeinen Rahmen basierend auf beliebigen Modalformeln sowie einen handhabbareren Ansatz mit Booleschen Funktionen und ausgewählten Modaloperatoren – zusammenführt, um Zusammenhänge zwischen Ausdrucksstärke, Komplexität und Lernbarkeit aufzuzeigen und offene Probleme zu identifizieren.
Die Autoren führen die konstruktiven Meistermodi-Logiken und ein, zeigen deren EXPTIME-Vollständigkeit und endliche Modell-Eigenschaft, bestätigen damit eine Vermutung von Afshari et al. für den diamantfreien Fragment und ermöglichen durch Einbettung von und den Nachweis, dass deren Gültigkeitsprobleme in EXPTIME liegen.
Die Autoren stellen propositional team-basierte Logiken vor, die mittels Varianten von Inklusionsatomen dual ausdrucksstarke (quasi-)abwärts- und (quasi-)aufwärts-abgeschlossene Eigenschaften erfassen, wobei sie Äquivalenzen zu Modaliäten aufzeigen, Normalformen ableiten und vollständige natürliche Deduktionssysteme für diese Logiken definieren.
Die Arbeit stellt neue hinreichende Bedingungen vor, die als „Oliven-Eigenschaft" bezeichnet werden und zeigen, dass die Klasse der Gruppen in bestimmten Kardinalzahlen kein universelles Element besitzt, selbst wenn sie die SOP₄-Bedingung nicht erfüllt.
Diese Arbeit beweist, dass die herkömmlichen Axiome hyperkompositionaler Strukturen wie Hypergruppen und Hyperfelder nicht unabhängig sind, und führt daher neue, minimierte Definitionen ein, um die axiomatische Basis dieser Strukturen zu reduzieren.
Basierend auf Pillays geometrischer Beschreibung definieren die Autoren in dieser Arbeit eine additive geometrische Rangfunktion für Imaginäre in der Theorie schöner Paare algebraisch abgeschlossener Körper, die den SU-Rang verfeinert, das Forking charakterisiert und ein explizites Kriterium für die Unabhängigkeit liefert.
Diese Arbeit untersucht parametrisierte D-Torsoren im Rahmen der differentialen Galoistheorie, zeigt mittels modelltheoretischer Methoden, dass verallgemeinerte stark normale Erweiterungen Galois-Erweiterungen solcher Torsoren sind, und leitet eine notwendige und hinreichende Kohomologiebedingung für deren Realisierung als Galois-Erweiterungen logarithmisch-differentialer Gleichungen her.