-
1
-
2
Degrees of unsolvability : structure and theory /
Publicat 1979Matèries: “…Unsolvability (Mathematical logic)…”
-
3
Power functions and exponentials in o-minimal expansions of fields
Publicat 2010Matèries: “…Mathematical logic and foundations…”
Thesis -
4
Definability in Henselian fields
Publicat 2012Matèries: “…Mathematical logic and foundations…”
Thesis -
5
Definable henselian valuations and absolute Galois groups
Publicat 2014Matèries: “…Mathematical logic and foundations…”
Thesis -
6
Splitting theorems and strong reductions
Publicat 2019Matèries: “…Science::Mathematics::Mathematical logic…”
Obtenir text complet
Obtenir text complet
Thesis -
7
Axiomatic set theory beyond the continuum hypothesis
Publicat 2022Matèries: “…Science::Mathematics::Mathematical logic…”
Obtenir text complet
Final Year Project (FYP) -
8
Applications of effective methods in computable mathematics
Publicat 2022Matèries: “…Science::Mathematics::Mathematical logic…”
Obtenir text complet
Thesis-Doctor of Philosophy -
9
Cupping in the computably enumerable degrees
Publicat 2023Matèries: “…Science::Mathematics::Mathematical logic…”
Obtenir text complet
Thesis-Doctor of Philosophy -
10
Computability theory and applications
Publicat 2023Matèries: “…Science::Mathematics::Mathematical logic…”
Obtenir text complet
Final Year Project (FYP) -
11
-
12
The real field with an irrational power function and a dense multiplicative subgroup
Publicat 2008Matèries:Thesis -
13
-
14
ω-change randomness and weak demuth randomness
Publicat 2015Matèries: “…DRNTU::Science::Mathematics::Mathematical logic…”
Obtenir text complet
Obtenir text complet
Journal Article -
15
Complexity of equivalence relations and preorders from computability theory
Publicat 2015Matèries: “…DRNTU::Science::Mathematics::Mathematical logic…”
Obtenir text complet
Obtenir text complet
Journal Article -
16
Transverse domain wall profile for spin logic applications
Publicat 2015Matèries: “…DRNTU::Science::Mathematics::Mathematical logic…”
Obtenir text complet
Obtenir text complet
Journal Article -
17
Morley's categoricity theorem : a survey.
Publicat 2008Matèries: “…DRNTU::Science::Mathematics::Mathematical logic…”
Obtenir text complet
Final Year Project (FYP) -
18
Degree structures below 0'
Publicat 2010Matèries: “…DRNTU::Science::Mathematics::Mathematical logic…”
Obtenir text complet
Thesis -
19
Contributions to degree structures
Publicat 2011Matèries: “…DRNTU::Science::Mathematics::Mathematical logic…”
Obtenir text complet
Thesis -
20
Local structure theory and the Ershov hierarchy
Publicat 2012Matèries: “…DRNTU::Science::Mathematics::Mathematical logic…”
Obtenir text complet
Thesis