| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A new model construction by making a detour via intuitionistic theories II: Interpretability lower bound of Feferman's explicit mathematics T 0
|
SATO, Kentaro
|
|
2015
|
|
7-8 |
p. 800-835
36 p.
|
artikel
|
| 2 |
A reducibility related to being hyperimmune-free
|
Stephan, Frank
|
|
2014
|
|
7-8 |
p. 1291-1300
10 p.
|
artikel
|
| 3 |
Cardinal characteristics, projective wellorders and large continuum
|
Fischer, Vera
|
|
2013
|
|
7-8 |
p. 763-770
8 p.
|
artikel
|
| 4 |
Computable categoricity for pseudo-exponential fields of size ℵ 1
|
Johnson, Jesse
|
|
2014
|
|
7-8 |
p. 1301-1317
17 p.
|
artikel
|
| 5 |
Connected components of definable groups, and o-minimality II
|
Conversano, Annalisa
|
|
2015
|
|
7-8 |
p. 836-849
14 p.
|
artikel
|
| 6 |
Definability and decidability in infinite algebraic extensions
|
Shlapentokh, Alexandra
|
|
2014
|
|
7-8 |
p. 1243-1262
20 p.
|
artikel
|
| 7 |
Definable functions continuous on curves in o-minimal structures
|
Ramakrishnan, Janak
|
|
2014
|
|
7-8 |
p. 1339-1351
13 p.
|
artikel
|
| 8 |
Degrees of orders on torsion-free Abelian groups
|
Kach, Asher M.
|
|
2013
|
|
7-8 |
p. 822-836
15 p.
|
artikel
|
| 9 |
Editorial Board
|
|
|
2013
|
|
7-8 |
p. IFC-
1 p.
|
artikel
|
| 10 |
Editorial Board
|
|
|
2014
|
|
7-8 |
p. IFC-
1 p.
|
artikel
|
| 11 |
Editorial Board
|
|
|
2015
|
|
7-8 |
p. IFC-
1 p.
|
artikel
|
| 12 |
Graphs realised by r.e. equivalence relations
|
Gavruskin, Alexander
|
|
2014
|
|
7-8 |
p. 1263-1290
28 p.
|
artikel
|
| 13 |
Hyperations, Veblen progressions and transfinite iteration of ordinal functions
|
Fernández-Duque, David
|
|
2013
|
|
7-8 |
p. 785-801
17 p.
|
artikel
|
| 14 |
Non-circular proofs and proof realization in modal logic
|
Wang, Ren-June
|
|
2014
|
|
7-8 |
p. 1318-1338
21 p.
|
artikel
|
| 15 |
On ω-categorical, generically stable groups and rings
|
Dobrowolski, Jan
|
|
2013
|
|
7-8 |
p. 802-812
11 p.
|
artikel
|
| 16 |
Operational closure and stability
|
Jäger, Gerhard
|
|
2013
|
|
7-8 |
p. 813-821
9 p.
|
artikel
|
| 17 |
Operations, climbability and the proper forcing axiom
|
Yoshinobu, Yasuo
|
|
2013
|
|
7-8 |
p. 749-762
14 p.
|
artikel
|
| 18 |
The members of thin and minimal Π 1 0 classes, their ranks and Turing degrees
|
Downey, Rodney G.
|
|
2015
|
|
7-8 |
p. 755-766
12 p.
|
artikel
|
| 19 |
Unification and admissible rules for paraconsistent minimal Johanssonsʼ logic J and positive intuitionistic logic IPC +
|
Odintsov, Sergei
|
|
2013
|
|
7-8 |
p. 771-784
14 p.
|
artikel
|
| 20 |
Uniformly defining p-henselian valuations
|
Jahnke, Franziska
|
|
2015
|
|
7-8 |
p. 741-754
14 p.
|
artikel
|
| 21 |
WKL 0 and induction principles in model theory
|
Belanger, David R.
|
|
2015
|
|
7-8 |
p. 767-799
33 p.
|
artikel
|
Tijdschrift beschrijving