Ω-Bibliography of Mathematical Logic. Volume 5: Set Theory by Gert H. Müller, Andreas R. Blass (eds.)

By Gert H. Müller, Andreas R. Blass (eds.)

Show description

By Gert H. Müller, Andreas R. Blass (eds.)

Show description

Read Online or Download Ω-Bibliography of Mathematical Logic. Volume 5: Set Theory PDF

Similar logic books

Computational Logic in Multi-Agent Systems: 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers

The inspiration of corporation has lately elevated its in? uence within the study and - velopment of computational good judgment dependent structures, whereas even as signal- cantly gaining from a long time of analysis in computational common sense. Computational common sense presents a well-de? ned, common, and rigorous framework for learning s- tax, semantics and systems, for implementations, environments, instruments, and criteria, facilitating the ever vital hyperlink among speci?

Decision Problems for Equational Theories of Relation Algebras

This paintings provides a scientific learn of selection difficulties for equational theories of algebras of binary family (relation algebras). for instance, an simply appropriate yet deep strategy, in keeping with von Neumann's coordinatization theorem, is built for developing undecidability effects. the strategy is used to clear up a number of striking difficulties posed by way of Tarski.

Extra info for Ω-Bibliography of Mathematical Logic. Volume 5: Set Theory

Example text

Zur Theorie und Anwendung der p 0 -Zahlen o EOS E55 o 1913 MAHLO, P. Zur Theorie und Anwendung der p 0 -Zahlen II o EOS E55 o 1930 BANACH, S. P. On a problem offorma/logic o B10 B25 EOS E20 E75 o SIERPINSKI, W. Sur une operation sur lesfamil/es d 'ensembles o E05 o TARSKI, A. N. Sur /'existence d'un ensemble non denombrable qui est de premiere categorie dans tout ensemble parfait o E05 E75 o 1924 BANACH, S. & TARSKI, A. Sur Ia decomposition des ensembles de points en parties respectivement congruentes o EOS E25 E75 o 1931 DusHNIK, B.

Infinite graphs and matroids ~ EOS ~ HoMMA, K. B.

A simple proofofthe Rabin-Keisler theorem ~ C30 EOS ~ DWINGER, P. Applications in algebra and topology ofsome set theoretic results (Dutch) ~ EOS E75 ~ ENGELKING, R. & KARLOWICZ, M. Some'lheorems ofset theory and their topological consequences ~ EOS E75 ~ ERDOES, P. & HAJNAL, A. & RADO, R. Partition relations for cardinal numbers ~ EOS ESO E55 ~ FoDOR, G. & MATE, A. J. R. The category of cofinal types. II ~ EOS E07 ESO ~ JuHASZ, I. J. J. H. Rado ~ EOS ~ MATE, A. C. & RADo, R. A. A. 1. O. A. Koenig's theorem and the axiom of choice (Spanish) ~ EOS E25 ~ FoDOR, G.

Download PDF sample

Rated 4.51 of 5 – based on 11 votes