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