MARKOV’S PRINCIPLE AND SUBSYSTEMS OF INTUITIONISTIC ANALYSIS von MOSCHOVAKIS, JOAN RAND

Volltext

IN MEMORIAM: ANNE SJERP TROELSTRA 1939–2019 von de Jongh, Dick, Moschovakis, Joan Rand

Volltext

Classical consequences of constructive systems von Moschovakis, Joan Rand

Volltext

Unavoidable sequences in constructive analysis von Rand Moschovakis, Joan

Volltext

INTUITIONISTIC ANALYSIS AT THE END OF TIME von MOSCHOVAKIS, JOAN RAND

Volltext

Minimum Classical Extensions of Constructive Theories von Moschovakis, Joan Rand, Vafeiadou, Garyfallia

Volltext

Some axioms for constructive analysis von Moschovakis, Joan Rand, Vafeiadou, Garyfallia

Volltext

Calibrating the negative interpretation von Moschovakis, Joan Rand

Volltext bestellen

Solovay's Relative Consistency Proof for FIM and BI von Moschovakis, Joan Rand

Volltext bestellen

Classical and constructive hierarchies in extended intuitionistic analysis von Moschovakis, Joan Rand

Volltext

Calibrating the negative interpretation von Joan Rand Moschovakis

Volltext

Solovay's Relative Consistency Proof for FIM and BI von Joan Rand Moschovakis

Volltext

Analyzing realizability by Troelstra's methods von Moschovakis, Joan Rand

Volltext

Relative lawlessness in intuitionistic analysis von Moschovakis, Joan Rand

Volltext

Iterated Definability, Lawless Sequences, and Brouwer’s Continuum von Moschovakis, Joan Rand

Volltext

A classical view of the intuitionistic continuum von Moschovakis, Joan Rand

Volltext

Can there be no nonrecursive functions? von Moschovakis, Joan Rand

Volltext

More about relatively lawless sequences von Moschovakis, Joan Rand

Volltext

A disjunctive decomposition theorem for classical theories von Moschovakis, Joan Rand

Volltext

M.D. Krol′. The topological models of intuitionistic analysis. One counterexample. Mathematical notes, vol. 19 (1976), pp. 503–504. (English translation of K topologičéskim modélám... von Moschovakis, Joan Rand

Volltext