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 |