• DML-CZ Home

03B25 Decidability of theories and sets of sentences (11 articles)

• Ježek, Jaroslav: Some decidable congruences of free monoids. (English). Czechoslovak Mathematical Journal, vol. 49 (1999), issue 3, pp. 475-480
• Korec, Ivan: Definability of arithmetical operations from binary quadratic forms. (English). Acta Mathematica et Informatica Universitatis Ostraviensis, vol. 6 (1998), issue 1, pp. 135-144
• Mendris, Robert; Zlatoš, Pavol: Axiomatization and undecidability results for linear betweenness relations. (English). Mathematica Slovaca, vol. 46 (1996), issue 4, pp. 305-315
• Szymański, Robert: Decidability of weak equational theories. (English). Czechoslovak Mathematical Journal, vol. 46 (1996), issue 4, pp. 629-664
• Matoušek, Jiří; Loebl, Martin: Hercules versus Hidden Hydra Helper. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 32 (1991), issue 4, pp. 731-741
• Loebl, Martin: Hercules and Hydra. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 29 (1988), issue 1, pp. 85-95
• Pudlák, Pavel: On a unification problem related to Kreisel's conjecture. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 29 (1988), issue 3, pp. 551-556
• Loebl, Martin: Hercules and Hydra, a game on rooted finite trees. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 26 (1985), issue 2, pp. 259-267
• Hauschild, Kurt: Model-theoretic properties of cause-and-effect structures. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 23 (1982), issue 3, pp. 541-555
• Kramosil, Ivan; Šindelář, Jan: Statistical deducibility testing with stochastic parameters. (English). Kybernetika, vol. 14 (1978), issue 6, pp. (385)-396
• Mlček, Josef: Twin prime problem in an arithmetic without induction. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 17 (1976), issue 3, pp. 543-555