E-LIB Suche - Ergebnisse für: Nies, Andre O.

1

The ∀∃-Theory of R(≤, ∨, ∧) Is Undecidable:

Miller, Russell G. ; Nies, Andre O. ; Shore, Richard A.
Transactions of the American Mathematical Society. 356 (2004) 8 - p. 3025-3067 , 2004

Link: https://www.jstor.org/st..

2

Computation, Physics and Beyond

International Workshop on Theoretical Computer Science, WTC... Lecture Notes in Computer Science ; 7160;SpringerLink, Bücher

Dinneen, Michael J. ; Khoussainov, Bakhadyr ; Nies, André , 2012

Link: https://doi.org/10.1007/..

3

A Secular Faith: Why Christianity Favors the Separation of ..:

Nies, G. O.
Journal of Church and State. 49 (2007) 1 - p. 152-153 , 2007

Link: https://doi.org/10.1093/..

4

Definability and undecidability in recursion theoretic semi..:

Nies, André Otfrid , 1992

Exemplar: Zentrale:Magazin dk 7748

5

Word automatic groups of nilpotency class 2:

Nies, André ; Stephan, Frank
Information Processing Letters. 183 (2024) - p. 106426 , 2024

Link: https://doi.org/10.1016/..

6

Martin–Löf reducibility and cost functions:

Greenberg, Noam ; Miller, Joseph S. ; Nies, André.
Israel Journal of Mathematics. 260 (2023) 1 - p. 261-301 , 2023

Link: https://doi.org/10.1007/..

7

Computable topological abelian groups:

Lupini, Martino ; Melnikov, Alexander ; Nies, Andre
Journal of Algebra. 615 (2023) - p. 278-327 , 2023

Link: https://doi.org/10.1016/..

8

Randomness and initial segment complexity for measures:

Nies, André ; Stephan, Frank
Theoretical Computer Science. 900 (2022) - p. 1-19 , 2022

Link: https://doi.org/10.1016/..

9

MAXIMAL TOWERS AND ULTRAFILTER BASES IN COMPUTABILITY THEOR:

LEMPP, STEFFEN ; MILLER, JOSEPH S. ; NIES, ANDRÉ.
The Journal of Symbolic Logic. 88 (2022) 3 - p. 1170-1190 , 2022

Link: https://doi.org/10.1017/..

10

Finite axiomatizability for profinite groups:

Nies, Andre ; Segal, Dan ; Tent, Katrin
Proceedings of the London Mathematical Society. 123 (2021) 6 - p. 597-635 , 2021

Link: https://doi.org/10.1112/..

11

Highness properties close to PA completeness:

Greenberg, Noam ; Miller, Joseph S. ; Nies, André
Israel Journal of Mathematics. 244 (2021) 1 - p. 419-465 , 2021

Link: https://doi.org/10.1007/..

12

FRAÏSSÉ LIMITS FOR RELATIONAL METRIC STRUCTURES:

BRYANT, DAVID ; NIES, ANDRÉ ; TUPPER, PAUL
The Journal of Symbolic Logic. 86 (2021) 3 - p. 913-934 , 2021

Link: https://doi.org/10.1017/..

13

THE REVERSE MATHEMATICS OF THEOREMS OF JORDAN AND LEBESGUE:

NIES, ANDRÉ ; TRIPLETT, MARCUS A. ; YOKOYAMA, KEITA
The Journal of Symbolic Logic. 86 (2021) 4 - p. 1657-1675 , 2021

Link: https://doi.org/10.1017/..

14

MUCHNIK DEGREES AND CARDINAL CHARACTERISTICS:

MONIN, BENOIT ; NIES, ANDRÉ
The Journal of Symbolic Logic. 86 (2020) 2 - p. 471-498 , 2020

Link: https://doi.org/10.1017/..

15

RANDOMNESS NOTIONS AND REVERSE MATHEMATICS:

NIES, ANDRÉ ; SHAFER, PAUL
The Journal of Symbolic Logic. 85 (2019) 1 - p. 271-299 , 2019

Link: https://doi.org/10.1017/..