Robinson Splitting Theorem and Induction
Die Autoren zeigen, dass eine abgeschwächte Version des Robinson-Splitting-Theorems, bei der die Eigenschaft der Lowness durch Superlowness ersetzt wird, in Modellen von gilt.
🔢 Category
math.LO
84 Arbeiten
Non-Derivability Results in Polymorphic Dependent Type Theory
Diese Arbeit zeigt durch die Konstruktion spezifischer Gegenmodelle, dass in der reinen polymorphen abhängigen Typentheorie λP2 weder parametrische Quotiententypen mit Induktionsprinzip noch starke Koinduktionsprinzipien für koinduktive Typen ableitbar sind und dass Funktionaler Extensionalismus für die Beweisbarkeit von Induktionsprinzipien unverzichtbar ist.
A new ultrafilter proof of Van der Waerden's theorem
Dieser Artikel stellt einen neuen, kurzen Beweis für den Satz von Van der Waerden vor, der auf der Algebra des kompakten Raums der Ultrafilter basiert und dabei weder minimale noch idempotente Ultrafilter verwendet.
The Construction Principle and superstability of free objects in varieties of algebras
Der Artikel untersucht den Zusammenhang zwischen dem Konstruktionprinzip nach Eklof-Mekler-Shelah und der Superstabilität freier Objekte in Varietäten von Algebren und zeigt, dass die Erfüllung einer starken Form dieses Prinzips dazu führt, dass fast alle AEC-Überdeckungen dieser freien Objekte unsuperstabil sind.