Der Beweis eines Satzes von G. Choodnovsky.
Der Cohensche Eliminationssatz in positiver Charakteristik
Der erste Widerspruchsfreiheitsbeweis für die klassische Zahlentheorie.
Der Hilbertsche Irreduzibilitätssatz.
Der Verband der normalen verzweigten Modallogiken.
Derivation-Bounded Groups.
Derived operations in Goguen categories.
Descriptions of state spaces of orthomodular lattices (the hypergraph approach)
Using the general hypergraph technique developed in [7], we first give a much simpler proof of Shultz's theorem [10]: Each compact convex set is affinely homeomorphic to the state space of an orthomodular lattice. We also present partial solutions to open questions formulated in [10] - we show that not every compact convex set has to be a state space of a unital orthomodular lattice and that for unital orthomodular lattices the state space characterization can be obtained in the context of unital...
Descriptive Kakutani equivalence
Descriptive properties of density preserving autohomeomorphisms of the unit interval
We prove that density preserving homeomorphisms form a Π11-complete subset in the Polish space ℍ of all increasing autohomeomorphisms of unit interval.
Descriptive set theoretical complexity of randomness notions
We study the descriptive set theoretical complexity of various randomness notions.
Descriptive Set Theory and Infinitary Languages
Descriptive set-theoretical properties of an abstract density operator
Let (ℝ) stand for the hyperspace of all nonempty compact sets on the real line and let d ±(x;E) denote the (right- or left-hand) Lebesgue density of a measurable set E ⊂ ℝ at a point x∈ ℝ. In [3] it was proved that is ⊓11-complete. In this paper we define an abstract density operator ⅅ± and we generalize the above result. Some applications are included.
Destroying precaliber : an application of a Δ-systems lemma for closed sets
Determinacy of adversarial Gowers games
We prove a game-theoretic dichotomy for sets of block sequences in vector spaces that extends, on the one hand, the block Ramsey theorem of W. T. Gowers proved for analytic sets of block sequences and, on the other hand, M. Davis’ proof of Σ⁰₃ determinacy.
Determinateness in the low protective hierarchy
Détermination des jeux boréliens et problèmes logiques associés
Deux applications de la méthode de va-et-vient
Deux définitions des algèbres de Heyting trivalentes involutives
Deux propriétés décidables des suites récurrentes linéaires