79 Arbeiten
Die Arbeit untersucht die Anzahl der Isomorphietypen von Banachräumen auf separablen kompakten linear geordneten Räumen der Gewichtung und zeigt, dass diese Anzahl unter der Kontinuumshypothese $2^{\omega_1}$ beträgt, während sie unter einem bestimmten Axiom von Baumgartner auf einen einzigen Typ reduziert wird.
Dieser Nachtrag ergänzt die Arbeit „Categoricity-like properties in the first order realm" aus dem Jahr 2024 durch eine Berichtigung und Erweiterung.
Die Arbeit vergleicht drei Satisfiability-Semantiken für Quantenlogik in festen Dimensionen und zeigt, dass die Standard-Hilbert-Gitter-Semantik strikt mächtiger ist als die global-kommutierende und die lokal-partielle-Boolesche Semantik, indem sie eine explizite Formel als Separator konstruiert.
Die Arbeit zeigt, dass die Theorie schöner Paare einer vollständigen stark geometrischen Theorie von Körpern mit Quantorenelimination ebenfalls Quantorenelimination in einer Erweiterung durch Prädikate für lineare Unabhängigkeit und entsprechende Koordinatenfunktionen besitzt, wodurch bekannte Ergebnisse für algebraisch abgeschlossene, reell abgeschlossene und p-adisch abgeschlossene Körper verallgemeinert werden.
Der Artikel zeigt, dass in Cohen-Erweiterungen eines CH-Modells durch Hinzufügen von Cohen-Reellen nichttriviale Automorphismen von existieren, und verallgemeinert dieses Ergebnis unter zusätzlichen Hypothesen über lange Sage-Davies-Bäume auch auf den Fall .
Die Arbeit erweitert Millers -Forcing-Rahmenwerk auf reguläre überabzählbare Kardinalzahlen , um die Struktur und Länge der verallgemeinerten Borel-Hierarchie auf Teilräumen des verallgemeinerten Baire-Raums zu untersuchen und durch iterative Forcing-Methoden sowie eine Verallgemeinerung von Sterns Argumenten simultane Modelle für nichttriviale Konstellationen der Hierarchielänge sowie exakte Komplexitätsbestimmungen für bestimmte Klassen wohlgefundener Bäume zu konstruieren.
Der Artikel stellt neue Methoden zur Konstruktion externer Teilmengen nichtstandarder Arithmetikmodelle vor und zeigt, dass zwar algebraische reelle Zahlen, aber keine Kopie des reellen Körpers selbst in einem Ultraprodukt endlicher Primkörper auf diese Weise konstruiert werden können, wohingegen entweder ein Hyperreeller Körper oder ein algebraisch abgeschlossener Körper mit der Mächtigkeit des Kontinuums konstruierbar ist.
Das Papier liefert eine explizite Konstruktion einer affinen Formel mit Quantifieralternationen, um die Distanz zwischen zwei -Tupeln in einer -wertigen -Struktur zu bestimmen und beantwortet damit eine Frage von Ben Yaacov, Ibarlucía und Tsankov.
Der Artikel untersucht das primitive rekursive Analogon zu berechenbaren Kategorizitätsspektren und zeigt, dass diese Konzepte für bestimmte Klassen von Strukturen wie Äquivalenzrelationen, lineare Ordnungen, Boolesche Algebren und Bäume als partielle Ordnungen mit den entsprechenden berechenbaren Spektren übereinstimmen.
Die Arbeit untersucht den Begriff des Kategorizitätsgrades für punktuale Strukturen, zeigt deren Übereinstimmung mit dem klassischen Grad für nicht--kategorische Injektionsstrukturen, konstruiert ein Gegenbeispiel für den -Fall und beweist die Existenz spezifischer PR-Grade in jedem nicht-trivialen c.e. Turing-Grad.
Unter der Annahme der Schanuel-Vermutung zeigen die Autoren, dass die vollständige Theorie des reellen Exponentialkörpers durch die Axiome definierbarer vollständiger Exponentialkörper mit der Bedingung axiomatisiert wird, was die Entscheidbarkeit dieser Theorie bestätigt.
Die Arbeit zeigt, dass die Ausdruckskraft offener Formeln der inquisitiven Teamlogik und bestimmter Sätze der inquisitiven Prädikatenlogik die der klassischen Prädikatenlogik erster Stufe übersteigt, wobei erstere sogar die Endlichkeit ausdrücken kann, was zu mangelnder Kompaktheit und Nichtrekursiver Axiomatisierbarkeit führt.
Dieser Artikel führt eine Logik mit vier Negationen ein, indem er Vakarelovs Theorie der Gitterlogiken nutzt, um die Struktur des Spektralpräsheaves auf beliebige orthokomplementierte Verbände zu verallgemeinern, wodurch sich ein Modell für eine Akchurin-Algebra ergibt, das jedoch nicht als Modell für eine relevante Dialektiklogik dient.
Dieser Artikel formalisiert Cornelius Castoriadis' Begriff des Magmas als Klasse von nichtleeren offenen Teilmengen einer mit einer Präordnung versehenen Atommengen, die eine hierarchische Struktur bilden, in der Elemente voneinander abhängen und sich von klassischen Cantor-Mengen unterscheiden.
Die Arbeit liefert ein kohomologisches Kriterium für die Zerlegung Borelscher Graphen, das Dunwoodys Zugangstheorie für Gruppen analogisiert, und beweist als Anwendung, dass Borelsche Graphen mit beschränktem Grad und kohomologischer Dimension eins Lipschitz-äquivalent zu azyklischen Graphen sind, was einen neuen Beweis für ein Ergebnis von Chen et al. liefert.
Diese Arbeit verallgemeinert die Theorie der stabilen kanonischen Regeln und Formeln auf prä-transitive Logiken mittels definierbarer Filtration, wodurch neue Axiomatisierungsergebnisse, die endliche Modell-Eigenschaft sowie Charakterisierungen von Spaltungslogiken für die Klasse erreicht werden.
Der Artikel etabliert, dass das Wortproblem für endlich erzeugte just-infinite Gruppen mit rekursiv aufzählbaren Relationen gleichmäßig entscheidbar ist, zeigt unter bestimmten Bedingungen die Entscheidbarkeit für abzählbar erzeugte Fälle und konstruiert gleichzeitig Gegenbeispiele für lokal endliche Gruppen, bei denen das Wortproblem je nach Präsentation unentscheidbar sein kann.
Die Autoren zeigen, dass die Frage, ob eine gegebene berechenbare Strategie im Yu-Gi-Oh!-TCG von einem bestimmten Spielzustand aus gewinnt, unentscheidbar und sogar -vollständig ist, indem sie das Problem auf die Menge der abzählbaren Wohlordnungen reduzieren und dabei legale Decks verwenden.
Dieser Artikel beweist die Konsistenz des Guessing Model-Prinzips auf zusammen mit der Existenz eines fast Kurepa-Suslin-Baums sowie die Konsistenz eines schwachen Kurepa-Baums bei gleichzeitiger Verletzung der Kurepa-Hypothese und eines bestimmten Guessing-Model-Prinzips, das die Baum-Eigenschaft auf impliziert.
Der Artikel untersucht, unter welchen Bedingungen die Klasse der primitiv rekursiven Funktionen auf isomorphen Kopien der natürlichen Zahlen mit einer nicht-komputablen Nachfolgerfunktion der Standardklasse entspricht, und identifiziert dabei sowohl natürliche Operationen, die diese Eigenschaft verletzen, als auch endliche Basen, die eine „punktuelle Standardität" garantieren.