03 Mathematical logic and foundations

Balcar B., Simon P.: On collections of almost disjoint families. 29:4 (1988), pp. 631 -- 646.
Banaschewski B.: On the injectivity of Boolean algebras. 34:3 (1993), pp. 501 -- 511.
Bandlow I.: A characterization of Corson-compact spaces. 32:3 (1991), pp. 545 -- 550.
Bendová K.: On the relation of three-valued logic to modal logic. 22:4 (1981), pp. 637 -- 653.
Bendová K., Hájek P.: A logical analysis of the truth-reaction paradox. 23:4 (1982), pp. 699 -- 713.
Biró B.: Isomorphism does not imply lower base-isomorphism for non-regular or non-locally finite-dimensional cylindric algebras. 28:2 (1987), pp. 221 -- 226.
Bukovský L.: The consistency of some theorems concerning Lebesgue measure. 6:2 (1965), pp. 179 -- 180.
Bukovský L.: The continuum problem and powers of alephs. 6:2 (1965), pp. 181 -- 197.
Bukovský L.: An elementary proof of normality of the class of accessible cardinals. 6:4 (1965), pp. 409 -- 412.
Bukovský L.: Consistency theorems connected with some combinatorial problems. 7:4 (1966), pp. 495 -- 499.
Bukovský L.: $\nabla $-model and distributivity in Boolean algebras. 9:4 (1968), pp. 595 -- 612.
Bukovský L., Skřivánek J.: The smallest common extension of a sequence of models of ZFC. 35:4 (1994), pp. 745 -- 752.
Cornish W.H.: A ternary variety generated by lattices. 22:4 (1981), pp. 773 -- 784.
Čuda K.: An elimination of infinitely small quantities and infinitely large numbers (within the framework of AST). 21:3 (1980), pp. 433 -- 445.
Čuda K.: An elimination of the predicate "to be a standard member" in nonstandard models of arithmetic. 23:4 (1982), pp. 785 -- 803.
Čuda K.: Nonstandard models of arithmetic as an alternative basis for continuum considerations. 24:3 (1983), pp. 415 -- 430.
Čuda K.: Translation of nonstandard definitions to standard ones. 25:4 (1984), pp. 615 -- 634.
Čuda K.: The consistency of the measurability of projective semisets. 27:1 (1986), pp. 103 -- 121.
Čuda K.: A nonstandard treatment with quantities. 27:3 (1986), pp. 437 -- 447.
Čuda K.: A contribution to topology in AST: compactness. 28:1 (1987), pp. 43 -- 61.
Čuda K.: A contribution to topology in AST: almost indiscernibilities. 29:3 (1988), pp. 485 -- 499.
Čuda K.: On the adjunction of any semiset to the system of $Sd_V$-classes in AST. 30:4 (1989), pp. 775 -- 778.
Čuda K.: Multiplication of nonadditive cuts in AST. 32:1 (1991), pp. 61 -- 73.
Čuda K., Kussová B.: Basic equivalences in the alternative set theory. 23:4 (1982), pp. 629 -- 644.
Čuda K., Kussová B.: Monads in basic equivalences. 24:3 (1983), pp. 437 -- 452.
Čuda K., Tzouvaras A.: Endomorphic cuts and tails. 28:2 (1987), pp. 241 -- 249.
Čuda K., Vojtášková B.: Models of AST without choice. 25:4 (1984), pp. 555 -- 589.
Čuda K., Vojtášková B.: Model-theoretical constructions in AST, I. 27:3 (1986), pp. 581 -- 604.
Čuda K., Vojtášková B.: Minimal monads. 28:4 (1987), pp. 691 -- 706.
Čuda K., Vojtášková B.: Monads of indiscernibles. 30:1 (1989), pp. 109 -- 119.
Demlová M., Demel J., Koubek V.: Simplicity of algebras requires to investigate almost all operations. 23:2 (1982), pp. 325 -- 335.
Demuth O.: O teoreme Fubini dlja integrala Rimana v konstruktivnoj matematike. 9:4 (1968), pp. 677 -- 686.
Demuth O.: Zametka k rabote: O teoreme Fubini dlja integrala Rimana v konstruktivnoj matematike. 10:1 (1969), pp. 115 -- 120.
Demuth O.: O differenciruemosti konstruktivnych funkcij. 10:2 (1969), pp. 167 -- 175.
Demuth O.: Prostranstva $L_r$ i $S$ v konstruktivnoj matematike. 10:2 (1969), pp. 261 -- 284.
Demuth O.: Linejnye funkcionaly v konstruktivnych prostranstvach $L_r$. 10:3 (1969), pp. 357 -- 390.
Demuth O.: Ob izmerimosti množestv po Lebegu v konstruktivnoj matematike. 10:3 (1969), pp. 463 -- 492.
Demuth O.: Teoremy o srednem značenii dlja konstruktivnogo integrala Lebega. 11:2 (1970), pp. 249 -- 269.
Demuth O.: O predstavimosti konstruktivnych funkcij slabo ograničennoj variacii. 11:3 (1970), pp. 421 -- 434.
Demuth O.: Ob integriruemosti proizvodnych ot konstruktivnych funkcij. 11:4 (1970), pp. 667 -- 691.
Demuth O.: Neobchodimoe i dostatočnoe uslovie absoljutnoj nepreryvnosti konstruktivnych funkcij. 11:4 (1970), pp. 705 -- 726.
Demuth O.: O konstruktivnom analoge teoremy K.M. Garga o proizvodnych čislach. 21:3 (1980), pp. 457 -- 472.
Demuth O.: O psevdodifferenciruemosti konstruktivnych funkcij na konstruktivnych dejstvitel'nych čislach. 21:3 (1980), pp. 489 -- 505.
Demuth O.: O psevdodifferenciruemosti ravnomerno nepreryvnych konstruktivnych funkcij po funkcijam togo že tipa. 22:3 (1981), pp. 497 -- 512.
Demuth O.: Ob odnom obobščenii konstruktivnogo analoga teoremy K.M. Garga. 22:3 (1981), pp. 607 -- 620.
Demuth O.: O nekotorych klassach arifmetičeskich dejstvitel'nych čisel. 23:3 (1982), pp. 453 -- 465.
Demuth O.: O borelevych tipach nekotorych klassov arifmetičeskich dejstvitel'nych čisel. 23:3 (1982), pp. 593 -- 606.
Demuth O.: Ob arifmetičeskoj složnosti differencirovanija v konstruktivnoj matematike. 24:2 (1983), pp. 301 -- 316.
Demuth O.: O psevdodifferenciruemosti psevdoravnomerno nepreryvnych konstruktivnych funkcij po funkcijam togo že tipa. 24:3 (1983), pp. 391 -- 406.
Demuth O.: A notion of semigenericity. 28:1 (1987), pp. 71 -- 84.
Demuth O.: Reducibilities of sets based on constructive functions of a real variable. 29:1 (1988), pp. 143 -- 156.
Demuth O.: Remarks on the structure of $tt$-degrees based on constructive measure theory. 29:2 (1988), pp. 233 -- 247.
Demuth O., Kmínek V.: O svojstvach neopredelennych konstruktivnych integralov Lebega--Stil'tesa. 21:4 (1980), pp. 629 -- 644.
Demuth O., Kučera A.: Remarks on $1$-genericity, semigenericity and related concepts. 28:1 (1987), pp. 85 -- 94.
Good C.: Large cardinals and Dowker products. 35:3 (1994), pp. 515 -- 522.
Gorelic I.: A note on Boolean algebras. 35:3 (1994), pp. 523 -- 524.
Hájek P.: Eine Bemerkung über standarde nichtreguläre Modelle der Mengenlehre. 6:1 (1965), pp. 1 -- 6.
Hájek P.: Completion closed algebras and models of Peano arithmetic. 22:3 (1981), pp. 585 -- 594.
Hájek P.: On interpretability in theories containing arithmetic, II. 22:4 (1981), pp. 667 -- 688.
Hájek P.: Partial conservativity revisited. 28:4 (1987), pp. 679 -- 690.
Hajnal A., Juhász I., Soukup L.: On saturated almost disjoint families. 28:4 (1987), pp. 629 -- 633.
Hauschild K.: Die Nichtexistenz starkregulärer standarder Modelle in der Mengenlehre von Zermelo--Fraenkel und ihren widerspruchsfreien Erweiterungen. 8:2 (1967), pp. 249 -- 255.
Hauschild K.: Model-theoretic properties of cause-and-effect structures. 23:3 (1982), pp. 541 -- 555.
Hedrlín Z., Vopěnka P.: An undecidable theorem concerning full embeddings into categories of algebras. 7:3 (1966), pp. 401 -- 409.
Hrbáček K.: Model $\nabla [\omega _{\alpha }\rightarrow \omega _{\beta }]$ in which $\beta $ is limit number. 6:4 (1965), pp. 439 -- 442.
Hrbáček K.: Measurable cardinals in some Gödelian set theories. 7:3 (1966), pp. 343 -- 358.
Hrbáček K.: A note on generalized Souslin's problem. 8:2 (1967), pp. 307 -- 310.
Jech T.: Interdependence of weakened forms of the axiom of choice. 7:3 (1966), pp. 359 -- 371.
Jech T.: Non-provability of Souslin's hypothesis. 8:2 (1967), pp. 291 -- 305.
Jech T.: A correction to my paper Interdependence of weakened forms of the axiom of choice (CMUC 7:3 (1966), pp. 359 -- 371). 8:3 (1967), pp. 567 -- 567.
Kalina M.: Probability in the alternative set theory. 30:2 (1989), pp. 347 -- 356.
Kalina M., Zlatoš P.: Arithmetic of cuts and cuts of classes. 29:3 (1988), pp. 435 -- 456.
Kalina M., Zlatoš P.: Cuts of real classes. 30:1 (1989), pp. 129 -- 136.
Kalina M., Zlatoš P.: Borel classes in AST. Measurability, cuts and equivalence. 30:2 (1989), pp. 357 -- 372.
Kalina M., Zlatoš P.: Some connections between measure, indiscernibility and representation of cuts. 31:4 (1990), pp. 751 -- 763.
Krajíček J.: Speed-up for propositional Frege systems via generalizations of proofs. 30:1 (1989), pp. 137 -- 140.
Kučera A.: Slabaja schodimos{\unhbox \voidb@x \setbox 1=\hbox {t}\hbox to \wd 1{t\kern -0.6ex{\char 039}\hss }}{} v konstruktivnoj matematike. 11:2 (1970), pp. 285 -- 308.
Kučera A.: On recursive measure of classes of recursive sets. 23:1 (1982), pp. 117 -- 121.
Kučera A.: A note on initial segments below ${Q'}$. 30:4 (1989), pp. 779 -- 781.
Mlček J.: Compactness and homogeneity of saturated structures, I. 24:4 (1983), pp. 701 -- 716.
Mlček J.: Compactness and homogeneity of saturated structures, II. 24:4 (1983), pp. 717 -- 729.
Mlček J.: Some automorphisms of natural numbers in the alternative set theory. 26:3 (1985), pp. 467 -- 475.
Mlček J.: $\beta $-structures. 27:4 (1986), pp. 765 -- 773.
Mlček J.: Set-like equivalence and inner and outer cuts. 28:4 (1987), pp. 635 -- 647.
Mlček J.: Correction to the paper "Set-like equivalence and inner and outer cuts". 29:2 (1988), pp. 395 -- 395.
Mlček J.: Combinatoric properties of classes in AST. 30:1 (1989), pp. 141 -- 154.
Mlček J.: $\in $-representation and set-prolongations. 33:4 (1992), pp. 661 -- 666.
Mlček J.: Valuations of lines. 33:4 (1992), pp. 667 -- 679.
Mlček J.: Monotonic valuations of\ $\pi \sigma $-triads and evaluations of ideals. 34:1 (1993), pp. 23 -- 32.
Prati N.: Alternative set theory with elementary classes. 35:1 (1994), pp. 193 -- 203.
Pudlák P.: A definition of exponentiation by a bounded arithmetical formula. 24:4 (1983), pp. 667 -- 671.
Pudlák P.: On a unification problem related to Kreisel's conjecture. 29:3 (1988), pp. 551 -- 556.
Pultr A.: Fuzziness and fuzzy equality. 23:2 (1982), pp. 249 -- 267.
Repický M.: Properties of forcing preserved by finite support iterations. 32:1 (1991), pp. 95 -- 103.
Resl M., Sochor A.: Provability in the alternative set theory. 22:4 (1981), pp. 655 -- 660.
Sgall J.: Construction of the class $FN $. 27:3 (1986), pp. 435 -- 436.
Sgall J.: Forcing in the alternative set theory I. 32:2 (1991), pp. 323 -- 337.
Sgall J., Sochor A.: Revealed automorphisms. 32:1 (1991), pp. 105 -- 113.
Sgall J., Sochor A.: Forcing in the alternative set theory II. 32:2 (1991), pp. 339 -- 353.
Sgall J., Witzany J.: Dimension of indiscernibility equivalences. 28:3 (1987), pp. 537 -- 547.
Simon P.: Sacks forcing collapses $\frak c$ to $\frak b$. 34:4 (1993), pp. 707 -- 710.
Sochor A.: Metamathematics of the alternative set theory, II. 23:1 (1982), pp. 55 -- 79.
Sochor A.: Metamathematics of the alternative set theory, III. 24:1 (1983), pp. 137 -- 154.
Sochor A.: Constructibility and shiftings of view. 26:3 (1985), pp. 477 -- 498.
Sochor A.: Notes on revealed classes. 26:3 (1985), pp. 499 -- 514.
Sochor A.: Addition of initial segments, I. 29:3 (1988), pp. 501 -- 517.
Sochor A.: Addition of initial segments, II. 29:3 (1988), pp. 519 -- 528.
Sochor A.: Complexity of the axioms of the alternative set theory. 34:1 (1993), pp. 33 -- 45.
Sochor A., Vencovská A.: Indiscernibles in the alternative set theory. 22:4 (1981), pp. 785 -- 798.
Sochor A., Vopěnka P.: Ultrafilters of sets. 22:4 (1981), pp. 689 -- 699.
Sochor A., Vopěnka P.: Shiftings of the horizon. 24:1 (1983), pp. 127 -- 136.
Sochor A., Vopěnka P.: Constructions of classes by transfinite induction in AST. 30:1 (1989), pp. 155 -- 161.
Soukup L.: On chromatic number of product of graphs. 29:1 (1988), pp. 1 -- 12.
Soukup L.: A non-special ${\omega }_2$-tree with special ${{\omega }_1}$-subtrees. 31:3 (1990), pp. 607 -- 612.
Soukup L.: {On ${\omega }^{{}^2}$-saturated families}. 32:2 (1991), pp. 355 -- 359.
Švejdar V.: A sentence that is difficult to interpret. 22:4 (1981), pp. 661 -- 666.
Trlifajová K., Vopěnka P.: Utility theory in the alternative set theory. 26:4 (1985), pp. 699 -- 711.
Tzouvaras A.: Some remarks on revealness. 28:1 (1987), pp. 63 -- 69.
Tzouvaras A.: A notion of measure for classes in AST. 28:3 (1987), pp. 449 -- 455.
Tzouvaras A.: Correction to the paper "A notion of measure for classes in AST". 29:2 (1988), pp. 393 -- 393.
Tzouvaras A.: Simple motions. 30:1 (1989), pp. 163 -- 173.
Vencovská A.: Constructions of endomorphic universes and similarities. 23:3 (1982), pp. 557 -- 577.
Vopěnka P.: Nezavisimos{\unhbox \voidb@x \setbox 1=\hbox {t}\hbox to \wd 1{t\kern -0.6ex{\char 039}\hss }}{} kontinuum-gipotezy. 5:S (1964), pp. 1 -- 44.
Vopěnka P.: The independence of the continuum hypothesis (Summary). 5:S (1964), pp. 44 -- 48.
Vopěnka P.: Concerning a proof of $\aleph _{\alpha +1}\leq 2^{\aleph _\alpha }$ without axiom of choice. 6:1 (1965), pp. 111 -- 113.
Vopěnka P.: Concerning a proof of $\aleph _{\alpha +1}\leq 2^{\aleph _\alpha }$ without axiom of choice: A correction. 6:3 (1965), pp. 337 -- 337.
Vopěnka P.: The first measurable cardinal and the generalized continuum hypothesis. 6:3 (1965), pp. 367 -- 370.
Vopěnka P.: General theory of $\nabla $-models. 8:1 (1967), pp. 145 -- 170.
Vopěnka P., Bukovský L.: The existence of a PCA-set of cardinal $\aleph _1$. 5:3 (1964), pp. 125 -- 128.
Witzany J.: Correspondence between interval $\pi $-equivalences and $Sd$-functions. 30:1 (1989), pp. 175 -- 187.
Zakrzewski P.: Strong Fubini axioms from measure extension axioms. 33:2 (1992), pp. 291 -- 297.
Zlatoš P.: Two notes on locally finite cylindric algebras. 25:1 (1984), pp. 181 -- 199.