Found 9 Documents (Results 1–9)
The bounded Axiom A forcing axiom. (English) Zbl 1215.03062
Reviewer: Xianghui Shi (Beijing)
Hamel-isomorphic images of the unit ball. (English) Zbl 1221.28001
Reviewer: Jan Kraszewski (Wrocław)
Consistency of Heyting arithmetic in natural deduction. (English) Zbl 1219.03072
Reviewer: Mohammad Ardeshir (Tehran)
Proof interpretations with truth. (English) Zbl 1211.03087
Reviewer: Gilda Ferreira (Lisboa)
The quantifier complexity of polynomial-size iterated definitions in first-order logic. (English) Zbl 1209.03005
Relative arithmetic. (English) Zbl 1207.03076
Reviewer: Roman Kossak (New York)
Filter Results by …
all
top 5
Author
- Buss, Samuel R. (1)
- Cichoń, Jacek (1)
- Gaspar, Jaime (1)
- Johnson, Alan S. (1)
- Kanckos, Annika (1)
- Kirby, Laurence (1)
- Oliva, Paulo (1)
- Pynko, Alexej P. (1)
- Sanders, Sam (1)
- Szczepaniak, Przemyslaw (1)
- Weinert, Thilo V. (1)
- Ziegler, Albert (1)