researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Math. Log. Q.
Home
Index
Info
Issue
Volume
51
, Issue
1
3
--
4
Günter Asser
,
Armin Hemmerling
.
Letter from the outgoing Managing Editor/Letter from the new Managing Editor
5
--
18
Peter Hertling
.
Is the Mandelbrot set computable?
19
--
44
Vasco Brattka
.
Effective Borel measurability and reducibility of functions
45
--
61
Victor L. Selivanov
.
Hierarchies in ::::phi::::-spaces and applications
62
--
72
Jack H. Lutz
.
Effective fractal dimensions
73
--
76
Morteza Moniri
.
Polynomial induction and length minimization in intuitionistic bounded arithmetic
77
--
82
Satoru Yoshida
.
The constructive completion of the space ::::D::::(R)
83
--
88
Martin Lange
.
A quick axiomatisation of LTL with past
89
--
94
Stefano Mazzanti
.
Bounded iteration and unary functions
95
--
103
Kyriakos Keremedis
,
Eleftherios Tachtsis
.
Countable sums and products of metrizable spaces in ZF
104
--
108
Marta A. Zander
.
A note on a subvariety of linear tense algebras