A note on countable Boolean algebras
- 期刊名称Algebra Universalis
- 作者Thomas Jech
- 卷第14卷
- 期第1期
- 印刷ISSN0002-5240
- 电子ISSN1420-8911
- 文件大小264.74KB
- 发表时间1982
- DOI10.1007/bf02483926
- 页码257-262
An Interpretation of Many-Valued LogicAlasdair Urquhart · 1973
Functional interpretations of feasibly constructive arithmeticStephen Cook; Alasdair Urquhart · 1993
Width versus size in resolution proofsAlasdair Urquhart · 2007
The symmetry rule in propositional logicAlasdair Urquhart · 1999
A semantical theory of analytic implicationAlasdair Urquhart · 1973
Decidability and the finite model propertyAlasdair Urquhart · 1981
Duality for algebras of relevant logicsAlasdair Urquhart · Studia Logica · 1996
Books receivedJanusz Czelakowski; Alasdair Urquhart; Ryszard Wójcicki; Jan Woleński; Andrzej Sendlewski; Marcin Mostowski · Studia Logica · 1990
Cosheaves and distributions on toposesM. Bunge · Algebra Universalis · 1995
Boolean quotients of orthomodular latticesA. B. D'Andrea; S. Pulmannová · Algebra Universalis · 1995
A generalized permutahedronM. Pouzet; K. Reuter; I. Rival; N. Zaguia · Algebra Universalis · 1995
Orderpotentf-ringsA. M. Duval; P. J. Wojciechowski · Algebra Universalis · 1995
Some lattice models of bilinear logicJ. Lambek · Algebra Universalis · 1995
Category equivalences of clonesK. Denecke; O. Lüders · Algebra Universalis · 1995
Normally presented varietiesI. Chajda · Algebra Universalis · 1995
Cardinalities of σ-complete OML'sŽ. Perović · Algebra Universalis · 1995