Book reviews
- 作者Thomas Elwood Hart; Wendy G. Lehnert; Philip J. Drummond; Eric S. Wheeler
- 卷第17卷
- 期第2期
- 印刷ISSN0010-4817
- 电子ISSN1572-8412
- 文件大小1763.52KB
- 发表时间1983
- DOI10.1007/bf02277127
- 页码77-92
Theories of generalized Pascal trianglesIvan Korec · 1997
Small universal register machinesIvan Korec · 1996
Irrational speeds of configurations growth in generalized Pascal trianglesIvan Korec · 1993
A Ternary Function for Distributivity and Permutability of an Equivalence LatticeIvan Korec · Proceedings of the American Mathematical Society · 1978
A Ring with Arithmetical Congruence Lattice Not Preserved by Any Pixley FunctionIvan Korec · Proceedings of the American Mathematical Society · 1981
A ring with arithmetical congruence lattice not preserved by any Pixley functionKorec, Ivan · Proceedings of the American Mathematical Society · 1981
Improvement of Mycielski's inequality for non-natural disjoint covering system of ZIvan Korec · 1987
Homology of proof-netsFrançois Métayer · Archive for Mathematical Logic · 1994
Countable models of 1-based theoriesAnand Pillay · Archive for Mathematical Logic · 1992
Intuitionistic typical ambiguityDaniel Dzierzgowski · Archive for Mathematical Logic · 1992
Onκ-complete reduced productsTapani Hyttinen · Archive for Mathematical Logic · 1992
The monadic theory of (ω2,Shmuel Lifsches; Saharon Shelah · Archive for Mathematical Logic · 1992
Strong counterexamples to Borel hyperdeterminacyC. Ward Henson · Archive for Mathematical Logic · 1992
Subsets of models of arithmeticRoman Kossak; Jeffrey B. Paris · Archive for Mathematical Logic · 1992
Constructibility in higher order arithmeticsA. Sochor · Archive for Mathematical Logic · 1993