Märker, David A.
315  results:
Search for persons X
?
1

Universal Machines and Undecidability:

, In: Graduate Texts in Mathematics; An Invitation to Mathematical Logic,
Marker, David - p. 163-174 , 2024
 
?
3

Languages, Structures, and Theories:

, In: Graduate Texts in Mathematics; An Invitation to Mathematical Logic,
Marker, David - p. 3-29 , 2024
 
?
4

Models of Computation:

, In: Graduate Texts in Mathematics; An Invitation to Mathematical Logic,
Marker, David - p. 141-162 , 2024
 
?
5

Hilbert's Tenth Problem:

, In: Graduate Texts in Mathematics; An Invitation to Mathematical Logic,
Marker, David - p. 237-253 , 2024
 
?
7

Turing Reducibility:

, In: Graduate Texts in Mathematics; An Invitation to Mathematical Logic,
Marker, David - p. 189-204 , 2024
 
?
8

Quantifier Elimination:

, In: Graduate Texts in Mathematics; An Invitation to Mathematical Logic,
Marker, David - p. 97-119 , 2024
 
?
9

Embeddings and Substructures:

, In: Graduate Texts in Mathematics; An Invitation to Mathematical Logic,
Marker, David - p. 31-41 , 2024
 
?
10

Ultraproducts:

, In: Graduate Texts in Mathematics; An Invitation to Mathematical Logic,
Marker, David - p. 85-96 , 2024
 
?
11

Compactness and Complete Theories:

, In: Graduate Texts in Mathematics; An Invitation to Mathematical Logic,
Marker, David - p. 67-83 , 2024
 
?
12

Formal Proofs:

, In: Graduate Texts in Mathematics; An Invitation to Mathematical Logic,
Marker, David - p. 43-52 , 2024
 
?
13

An Invitation to Mathematical Logic 

Graduate Texts in Mathematics, 301
Marker, David - 1st ed. 2024 . , 2024
 
?
15

Model Theory of the Real Field:

, In: Graduate Texts in Mathematics; An Invitation to Mathematical Logic,
Marker, David - p. 121-138 , 2024
 
1-15