Found 8 Documents (Results 1–8)
Automorphisms of saturated and boundedly saturated models of arithmetic. (English) Zbl 1241.03046
Reviewer: Roman Kossak (New York)
Depth of Boolean algebras. (English) Zbl 1236.03033
Reviewer: James Monk (Boulder)
The field of LE-series with a nonstandard analytic structure. (English) Zbl 1258.03042
Notre Dame J. Formal Logic 52, No. 3, 255-265 (2011); correction ibid. 57, No. 1, 151 (2016).
MSC:
03C64
Being wrong: logics for false belief. (English) Zbl 1252.03035
MSC:
03B42
A nonstandard counterpart of WWKL. (English) Zbl 1250.03118
Reviewer: Alexander Kreuzer (Darmstadt)
Filter Results by …
all
top 5
Author
- Bleybel, Ali (1)
- Dolich, Alfred (1)
- Garti, Shimon (1)
- Goodrick, John (1)
- Linnebo, Øystein (1)
- Lippel, David (1)
- Moses, Michael F. (1)
- Nurkhaidarov, Ermek S. (1)
- Shelah, Saharon (1)
- Shochat, Erez (1)
- Simpson, Stephen G. (1)
- Steinsvold, Christopher (1)
- Yokoyama, Keita (1)