AMS eBook CollectionsOne of the world's most respected mathematical collections, available in digital format for your library or institution
Methods and Applications of Mathematical Logic
About this Title
Walter A. Carnielli and Luiz Paulo de Alcantara, Editors
Publication: Contemporary Mathematics
Publication Year:
1988; Volume 69
ISBNs: 978-0-8218-5076-3 (print); 978-0-8218-7658-9 (online)
DOI: https://doi.org/10.1090/conm/069
MathSciNet review: 933796
Table of Contents
Download chapters as PDF
Front/Back Matter
Articles
- Newton C. A. da Costa and Luiz Paulo de Alcantara – The scientific work of A. I. Arruda [MR 933797]
- Carlos A. Di Prisco and Wiktor Marek – Reflection properties induced by some large cardinal axioms [MR 933798]
- A. Ehrenfeucht, M. Foreman and J. Malitz – Taxonometric partitions [MR 933799]
- Akihiro Kanamori – Diamonds, large cardinals, and ultrafilters [MR 933800]
- Marcel Guillaume – Constantes d’une algèbre monadique libre sur une algèbre de Boole et automorphismes préservant une partie génératrice de celle-ci [MR 933801]
- Luisa Iturrioz – Ordered structures in the description of quantum systems: mathematical progress [MR 933802]
Philosophical Aspects of Mathematical Logic
- Jens Erik Fenstad – Infinities in mathematics and the natural sciences [MR 933803]
- Andrés R. Raggio – The 50th anniversary of Gentzen’s thesis [MR 933804]
Interactions between Logic, Mathematics and Computer Science
- X. Caicedo and A.-M. Sette – Logics and pseudogroups [MR 933805]
- Rolando Chuaqui – Sets of relational systems as models for stochastic processes [MR 933806]
- Richard L. Epstein – A general framework for semantics for propositional logics [MR 933807]
- Jörg Flum – Formal languages and topological spaces [MR 933808]
- Edward Hermann Haeusler – Automatic theorem proving: an attempt to improve readability of proofs generated by resolution [MR 933809]
- F. Miraglia – The downward Löwenheim-Skolem theorem for $L$-structures in $\Omega$-sets [MR 933810]
- Daniele Mundici – The derivative of truth in Łukasiewicz sentential calculus [MR 933811]
- Jacques Stern – Equivalence relations on lattices and the complexity of the theory of permutations which commute [MR 933812]
- Paulo A. S. Veloso – Problem solving by interpretation of theories [MR 933813]