Chargement en cours…
Methods and Applications of Mathematical Logic.
| Cote: | Libro Electrónico |
|---|---|
| Auteur principal: | |
| Autres auteurs: | |
| Format: | Électronique eBook |
| Langue: | Inglés |
| Publié: |
Providence :
American Mathematical Society,
1988.
|
| Collection: | Contemporary Mathematics.
|
| Sujets: | |
| Accès en ligne: | Texto completo |
Table des matières:
- ""Contents""; ""Preface""; ""Introduction""; ""The scientific work of A.I. Arruda""; ""Section I � Foundations of set theory""; ""Reflection properties induced by some large cardinal axioms""; ""Taxonometric partitions""; ""Diamonds, large cardinals and ultrafilters""; ""Section II � Algebraic logic""; ""Constantes d'une alg�bre monadique libre sur une alg�bre de Boole et automophismes préservant une partie génératrice de celle-ci""; ""Ordered structures in the description of quantum systems: mathematical progress""; ""Section III � Philosophical aspects of mathematical logic""
- ""Infinities in mathematics and the natural sciences""""The 50th anniversary of Gentzen's thesis""; ""Section IV � Interactions between logic, mathematics and computer science""; ""Logics and pseudogroups""; ""Sets of relational systems as models for stochastic processes""; ""A general framework for semantics for propasotional logics""; ""Formal languages and topological spaces""; ""Automatic theorem proving: an attempt to improve readability of proofs generated by resolution""; ""The downward löwenheim-Skolem theorem for L-structures in Ω-sets""
- ""The derivative of truth in Å?ukasiewicz sentential calculus""""Equivalence relations on lattices and the complexity of the theory of permutations which commute""; ""Problem solving by interpretation of theories""