Volume 47; Issue 2

Mathematical Logic Quarterly

Volume 47; Issue 2
1

Metrically Universal Generic Structures in Free Amalgamation Classes

Anthony Bonato
Journal:
Mathematical Logic Quarterly
Year:
2001
Language:
english
File:
PDF, 228 KB
english, 2001
2

On Genericity and Ershov's Hierarchy

Amy Gale, Rod Downey
Journal:
Mathematical Logic Quarterly
Year:
2001
Language:
english
File:
PDF, 281 KB
english, 2001
3

An Independence Result on Weak Second Order Bounded Arithmetic

Satoru Kuroda
Journal:
Mathematical Logic Quarterly
Year:
2001
Language:
english
File:
PDF, 107 KB
english, 2001
4

Heyting Algebras with Operators

Yasusi Hasimoto
Journal:
Mathematical Logic Quarterly
Year:
2001
Language:
english
File:
PDF, 183 KB
english, 2001
5

Rigid Unary Functions and the Axiom of Choice

Wolfgang Degen
Journal:
Mathematical Logic Quarterly
Year:
2001
Language:
english
File:
PDF, 168 KB
english, 2001
6

The Vector Space Kinna-Wagner Principle is Equivalent to the Axiom of Choice

Kyriakos Keremedis
Journal:
Mathematical Logic Quarterly
Year:
2001
Language:
english
File:
PDF, 129 KB
english, 2001
7

Constructive Order Theory

Marcel Erné
Journal:
Mathematical Logic Quarterly
Year:
2001
Language:
english
File:
PDF, 184 KB
english, 2001
8

Weakly o-Minimal Expansions of Boolean Algebras

Stefano Leonesi, Carlo Toffalori
Journal:
Mathematical Logic Quarterly
Year:
2001
Language:
english
File:
PDF, 223 KB
english, 2001
9

Prediction in Branching Time Logic

Giacomo Bonanno
Journal:
Mathematical Logic Quarterly
Year:
2001
Language:
english
File:
PDF, 168 KB
english, 2001
11

Infinite Time Turing Machines With Only One Tape

Joel David Hamkins, Daniel Evan Seabold
Journal:
Mathematical Logic Quarterly
Year:
2001
Language:
english
File:
PDF, 218 KB
english, 2001