Majorisierungsrelationen und Fundamentalfolgen eines Ordinalzahlensystems von G. Jäger.
Majorizing provably recursive functions in fragments of PA.
Mann iterates of directionally nonexpansive mappings in hyperbolic spaces.
Maximum Cuts in Extended Natural Deduction
Mehrsortige logische Systeme mit unendlich langen Formeln I.
Mehrsortige logische Systeme mit unendlich langen Formeln II.
Metastability in the Furstenberg-Zimmer tower
According to the Furstenberg-Zimmer structure theorem, every measure-preserving system has a maximal distal factor, and is weak mixing relative to that factor. Furstenberg and Katznelson used this structural analysis of measure-preserving systems to provide a perspicuous proof of Szemerédi’s theorem. Beleznay and Foreman showed that, in general, the transfinite construction of the maximal distal factor of a separable measure-preserving system can extend arbitrarily far into the countable ordinals....
Modal Translations of Heyting and Peano Arithmetic
Models of linear logic
Monotone sequent calculus and resolution
We study relations between propositional Monotone Sequent Calculus (MLK --- also known as Geometric Logic) and Resolution with respect to the complexity of proofs, namely to the concept of the polynomial simulation of proofs. We consider Resolution on sets of monochromatic clauses. We prove that there exists a polynomial simulation of proofs in MLK by intuitionistic proofs. We show a polynomial simulation between proofs from axioms in MLK and corresponding proofs of contradiction (refutations) in...
More on extending automorphisms of models of Peano Arithmetic
Continuing the earlier research [Fund. Math. 129 (1988) and 149 (1996)] we give some information about extending automorphisms of models of PA to cofinal extensions.
Morphisms and modules for poly-bicategories.