Archive For Mathematical Logic Research Articles

Uri Abraham. Aronszajn trees on ℵ2 and ℵ3 . Annals of pure and applied logic, vol. 24 (1983), pp. 213–230. - James Cummings and Matthew Foreman. The tree property. Advances in mathematics, vol. 133 (1998), pp. 1–32. - Menachem Magidor and Saharon Shelah. The tree property at successors of singular cardinals. Archive for mathematical logic, vol. 35 (1996), pp. 385–404.

Uri Abraham. Aronszajn trees on ℵ₂ and ℵ₃ . Annals of pure and applied logic, vol. 24 (1983), pp. 213–230. - James Cummings and Matthew Foreman. The tree property. Advances in mathematics, vol. 133 (1998), pp. 1–32. - Menachem Magidor and Saharon Shelah. The tree property at successors of singular cardinals. Archive for mathematical logic, vol. 35 (1996), pp. 385–404.

Petr Hájek, Lluis Godo, and Francesc Esteva. A complete many-valued logic with product-conjunction. Archive for mathematical logic, vol. 35 (1996), pp. 191–208.

Petr Hájek, Lluis Godo, and Francesc Esteva. A complete many-valued logic with product-conjunction. Archive for mathematical logic, vol. 35 (1996), pp. 191–208.

Stephen Bellantoni and Stephen Cook. A new recursion-theoretic characterization of the polytime functions. Computational complexity, vol. 2 (1992), pp. 97–110. - Arnold Beckmann and Andreas Weiermann. A term rewriting characterization of the polytime functions and related complexity classes. Archive for mathematical logic, vol. 36 (1996), pp. 11–30.

Stephen Bellantoni and Stephen Cook. A new recursion-theoretic characterization of the polytime functions. Computational complexity, vol. 2 (1992), pp. 97–110. - Arnold Beckmann and Andreas Weiermann. A term rewriting characterization of the polytime functions and related complexity classes. Archive for mathematical logic, vol. 36 (1996), pp. 11–30. - Volume 6 Issue 3

Richard Beigel, William I. Gasarch, and Louise Hay. Bounded query classes and the difference hierarchy. Archive for mathematical logic, vol. 29 no. 2 (1989), pp. 69–84.

Richard Beigel, William I. Gasarch, and Louise Hay. Bounded query classes and the difference hierarchy. Archive for mathematical logic, vol. 29 no. 2 (1989), pp. 69–84.

Jan Krajíček and Pavel Pudlák. The number of proof lines and the size of proofs in first order logic. Archive for mathematical logic, vol. 27 (1988), pp. 69–84.

Jan Krajíček and Pavel Pudlák. The number of proof lines and the size of proofs in first order logic. Archive for mathematical logic, vol. 27 (1988), pp. 69–84.