A minimal model for strong analysis
A model for barrecursion of higher types
A note on nonaxiomatizability of independence relations generated by certain probabilistic structures
A note on topological model theory
A remark on accessible and axiomatizable categories
For categories with equalizers the concepts ``accessible'' and ``axiomatizable'' are equivalent. This results is proved under (in fact, is equivalent to) the large-cardinal Vopěnka's principle.
A topological interpretation of second-order intuitionistic arithmetic
Algèbres graphiques (sur un concept de dimension dans les langages formels)
An algebraic and Kripke-style approach to a certain extension of intuitionistic logic [Book]
An application of the Ehrenfeucht-Fraisse game in formal language theory
An intuitionistic omitting types theorem.
An Intuitionistic Ommiting Types Theorem
Applications of ultrapowers and Lipschitz classification of Banach spaces
Automatické formování hypotéz metodou GUHA - teorie a aplikace
Collectionwise Hausdorff property in product spaces
Complétude en théorie sur graphes orientés
Definability in the extended arithmetic of ordinal numbers [Book]
Die automorhismenmengen der Modelle einer L...-Theorie.
Ein ausgezeichnetes Modell für die intuitionistische Typenlogik.
Equational logic and theories in sentential languages