Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher Bäume.
Non standard interpretations of higher order theories
Non-extensional equality
Non-finitizability of a weak second-order theory
Normal Form Theorem for Systems of Sequents
Normalisation of the theory of Cartesian closed categories and conservativity of extensions of
Normalisation of the Theory T of Cartesian Closed Categories and Conservativity of Extensions T[x] of T
Using an inductive definition of normal terms of the theory of Cartesian Closed Categories with a given graph of distinguished morphisms, we give a reduction free proof of the decidability of this theory. This inductive definition enables us to show via functional completeness that extensions of such a theory by new constants (“indeterminates”) are conservative.
Normalization as a consequence of cut elimination
Numerology in topoi.
O druhém Hilbertově problému (Otázka bezespornosti aritmetiky)
O struktuře modelů omezené -indukce
On a connection between algebra, logic and linguistics
On a Foundation for Mathematics- a View of Mathematics I
On a new method in intuitionist linear analysis
On a relationship between countable functionals and projective trees
On a unification problem related to Kreisel's conjecture
On a weakening of Markov's principle.
On an extremely restricted ω-rule
On computable real functions
On constructive versions of the Tychonoff and Schauder fixed point theorems.