some image logo

HOME

SEARCH

CURRENT ISSUE

REGULAR ISSUES

SPECIAL ISSUES

   Recent

   In Progress

   Archive

   Proposal

SURVEY ARTICLES

AUTHORS

ABOUT

SERVICE

LOGIN

FAQ

SUPPORT

CONTACT

SPECIAL ISSUE:
Special Issue for the Dieter Spreen Festschrift (in progress)



Preface


Classical propositional logic and decidability of variables in intuitionistic propositional logic
Hajime Ishihara


Fourier spectra of measures associated with algorithmically random Brownian motion
Willem Louw Fouche', Safari Mukeru and George Davie


The extensional realizability model of continuous functionals and three weakly non-constructive classical theorems
Dag Normann


Domain Representations Induced by Dyadic Subbases
Hideki Tsuiki and Yasuyuki Tsukamoyo


Weak upper topologies and duality for cones
Klaus Keimel


Z-stability in constructive analysis
Douglas Sutherla Bridges, James Edgar Dent and Maarten Nicolaas McKubre-Jordens


Creative Commons