On the programs-as-formulas interpretation of parallel programs in peano arithmetic
- 作者E.J. Farkas; M.E. Szabo
- 卷第37卷
- 期第2期
- 印刷ISSN0168-0072
- 文件大小1622.67KB
- 发表时间1988
- DOI10.1016/0168-0072(88)90024-3
- 页码111-127
同作者推荐
Two cardinals models with gap one revisitedSaharon Shelah · 2005
Recursive logic framesSaharon Shelah; Jouko Väänänen · 2006
Two cardinal models for singular μShimon Garti; Saharon Shelah · 2007
The stationary set splitting gamePaul B. Larson; Saharon Shelah · 2008
Generating ultrafilters in a reasonable wayAndrzej Rosłanowski; Saharon Shelah · 2008
On long increasing chains modulo flat idealsSaharon Shelah · 2010
Embeddings of Cohen AlgebrasSaharon Shelah; Jindřich Zapletal · Advances in Mathematics · 1997
The Automorphism Tower Problem RevisitedWinfried Just; Saharon Shelah; Simon Thomas · Advances in Mathematics · 1999