03 Mathematical logic and foundations
03Bxx General logic (1 articles)
03B30 Foundations of classical theories (including reverse mathematics) (10 articles)
- : Axiomatization and undecidability results for linear betweenness relations. (English). Mathematica Slovaca, vol. 46 (1996), issue 4, pp. 305-315
- : Současný stav ve výzkumu základů matematiky. (Czech) [The present situation of research in foundations of mathematics]. Pokroky matematiky, fyziky a astronomie, vol. 37 (1992), issue 5, pp. 257-269
- : An axiom system for full $3$-dimensional Euclidean geometry. (English). Mathematica Bohemica, vol. 116 (1991), issue 2, pp. 113-118
- : Concerning basic notions of the measurement theory. (English). Czechoslovak Mathematical Journal, vol. 34 (1984), issue 4, pp. 570-587
- : About the sixth Hilbert's problem. (English). Czechoslovak Mathematical Journal, vol. 32 (1982), issue 1, pp. 1,2-52
- : Model-theoretic properties of cause-and-effect structures. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 23 (1982), issue 3, pp. 541-555
- : Degrees of interpretability. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 19 (1978), issue 4, pp. 789-813
- : The lattice of bi-numerations of arithmetic. I. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 12 (1971), issue 1, pp. 81-104
- : The lattice of bi-numerations of arithmetic. II. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 12 (1971), issue 2, pp. 281-306
- : Základové arithmetiky. [I.]. (Czech) [Foundations of arithmetics. [I.]]. Časopis pro pěstování mathematiky a fysiky, vol. 12 (1883), issue 3, pp. 153-184
Search
Partner of
