Found 13 Documents (Results 1–13)
On \(\Sigma^{1}_{1}\) equivalence relations over the natural numbers. (English) Zbl 1241.03050
MSC:
03D30
The complexity of countable categoricity in finite languages. (English) Zbl 1246.03058
Reviewer: Valery Plisko (Moskva)
Eventually open action. (English) Zbl 1252.03108
Reviewer: Miroslav Repický (Košice)
Non-saturation of the non-stationary ideal on \(P_{\kappa } (\lambda )\) with \(\lambda \) of countable cofinality. (English) Zbl 1250.03074
MSC:
03E05
Algebraic semantics for the \((\leftrightarrow, \neg \neg)\)-fragment of IPC. (English) Zbl 1245.03016
Reviewer: Osamu Sonobe (Follonica)
Reverse mathematics and infinite traceable graphs. (English) Zbl 1241.03008
Reviewer: Jeffry L. Hirst (Boone)
Filter Results by …
all
top 5
Author
- Apter, Arthur W. (1)
- Bagheri, Seyed Mohammad (1)
- Cholak, Peter A. (1)
- Cody, Brent M. (1)
- Dolinka, Igor (1)
- Došen, Kosta (1)
- Esser, Olivier (1)
- Fokina, Ekaterina B. (1)
- Fornasiero, Antongiulio (1)
- Friedman, Sy-David (1)
- Ivanov, Aleksander A. (1)
- Majcher-Iwanow, Barbara (1)
- Matet, Pierre (1)
- Mofidi, Alireza (1)
- Petrić, Zoran (1)
- Słomczyńska, Katarzyna (1)
- Solomon, Reed (1)