feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Book
    Book
    Oxford [u.a.] :Pergamon Press [u.a.],
    UID:
    almafu_BV001936464
    Format: 283 S.
    Series Statement: International series of monographs on pure and applied mathematics 13
    Uniform Title: Wstęp do teorii mnogośći i topologii
    Note: Aus dem Poln. übers.
    Language: English
    Subjects: Mathematics
    RVK:
    Keywords: Topologie ; Mengenlehre ; Einführung ; Einführung ; Einführung ; Einführung
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    Book
    Book
    Oxford [u.a.] :Pergamon Press [u.a.],
    UID:
    almafu_BV009045855
    Format: 315 S. : , graph. Darst.
    Series Statement: International series of monographs in pure and applied mathematics 17
    Language: English
    Subjects: Mathematics
    RVK:
    Keywords: Analysis ; Infinitesimalrechnung ; Zahlentheorie ; Reelle Analysis ; Einführung ; Einführung
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 3
    Book
    Book
    Warszawa :PWN [u.a.],
    UID:
    almafu_BV001936556
    Format: XI, 417 S.
    Series Statement: Studies in logic and the foundations of mathematics
    Uniform Title: Teoria mnogości
    Language: English
    Subjects: Mathematics
    RVK:
    RVK:
    Keywords: Mengenlehre
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 4
    Book
    Book
    Oxford [u.a.] :Pergamon Press [u.a.],
    UID:
    almahu_BV002744535
    Format: 336 S.
    Edition: 2. ed.
    Series Statement: International series of monographs on pure and applied mathematics 17
    Uniform Title: Wykłady rachunku róźniczkowego i sakowego
    Note: Transl. from the polish
    Language: English
    Subjects: Mathematics
    RVK:
    Keywords: Analysis ; Infinitesimalrechnung ; Zahlentheorie ; Reelle Analysis ; Einführung ; Einführung
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 5
    Book
    Book
    Oxford [u.a.] :Pergamon Press, | Warszawa :PWN - Polish Scientific Publ.
    UID:
    almafu_BV005715326
    Format: 352 S.
    Edition: Completely rev. 2. English ed.
    ISBN: 0-08-016160-X
    Series Statement: International series on monographs in pure and applied mathematics 101
    Uniform Title: Wstep do teorii mnogości i topologi
    Note: Aus d. Poln. übers.
    Language: English
    Subjects: Mathematics
    RVK:
    Keywords: Topologie ; Mengenlehre ; Einführung ; Einführung ; Einführung
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 6
    Book
    Book
    Warszawa [u.a.] : Panstwowe Wydawn. Naukowe
    Show associated volumes
    UID:
    gbv_198076827
    Series Statement: Monografie matematyczne ...
    Note: 1. Espaces métrisables, espaces complets.- 2. [Espaces compacts, espaces connexes, plan euclidien]
    Language: French
    Keywords: Geometrische Methode ; Analytische Geometrie ; Geometrie ; Mathematik
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 7
    Book
    Book
    Warszawa :PWN - Polish Scientific Publishers,
    UID:
    almafu_BV008947179
    Format: LI, 609 Seiten : , Ill., graph. Darst.
    ISBN: 83-01-07169-9
    Note: Beiträge in deutscher und französischer Sprache
    Language: English
    Subjects: Mathematics
    RVK:
    Keywords: Topologie ; Aufsatzsammlung ; Aufsatzsammlung
    Author information: Borsuk, Karol 1905-1982
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 8
    Online Resource
    Online Resource
    Amsterdam ; : North-Holland Pub. Co. ;
    UID:
    almahu_9947367854202882
    Format: 1 online resource (615 p.)
    ISBN: 1-283-52532-1 , 9786613837776 , 0-08-095501-0
    Series Statement: Studies in logic and the foundations of mathematics ; v. 93B
    Content: Provability, Computability and Reflection
    Note: Some of the papers translated from Polish, French or German. , Front Cover; Foundational Studies: Selected Works; Copyright Page; Contents; Editorial note; Chapter 1. Countable Boolean fields and their application to general metamathematics; Chapter 2. On the independence of definitions of finiteness in a system of logic; Chapter 3. On some universal relations; Chapter 4. On the independence of the axiom of choice and some of its consequences; Chapter 5. Boolean rings with an ordered basis; Chapter 6. Axiom of choice for finite sets; Chapter 7. On absolute properties of relations; Chapter 8. On the principle of dependent choices , Chapter 9. Proofs of non-deducibility in intuitionistic functional calculusChapter 10. On a set of integers not definable by means of one-quantifier predicates; Chapter 11. Arithmetical classes and types of well ordered systems; Chapter 12. On the rules of proof in the pure functional calculus of the first order; Chapter 13. A classification of logical systems; Chapter 14. On models of axiomatic systems; Chapter 15. On direct products of theories; Chapter 16. On a system of axioms which has no recursively enumerable arithmetic model , Chapter 17. A lemma concerning recursive functions and its applicationsChapter 18. A formula with no recursively enumerable mode1; Chapter 19. Examples of sets definable by means of two and three quantifiers; Chapter 20. Contributions to the theory of definable sets and functions; Chapter 21. A proof of Herbrand's theorem; Chapter 22. A generalization of a theorem of M. Deuring; Chapter 23. Concerning a problem of H. Scholz; Chapter 24. On a generalization of quantifiers; Chapter 25. On computable sequences; Chapter 26. On recursive models of formalized arithmetic , Chapter 27. On a problem of W. Kinna and K. WagnerChapter 28. On various degrees of constructivism; Chapter 29. A generalization of the incompleteness theorem; Chapter 30. An example of a non-axiomatizable many valued logic; Chapter 31. Concerning the problem of axiomatizability of the field of real numbers in the weak second order logic; Chapter 32. Definability of sets in models of axiomatic theories; Chapter 33. A compact space of models of first order theories; Chapter 34. An addition to the paper "A proof of Herbrand's theorem" , Chapter 35. Axiomatizability of some many valued predicate calculiChapter 36. Representability of sets in formal systems; Chapter 37. A problem in the theory of models; Chapter 38. The Hilbert epsilon function in many-valued logics; Chapter 39. On models of Zermelo-Fraenkel set theory satisfying the axiom of constructibility; Chapter 40. Models of second order arithmetic with definable Skolem functions; Chapter 41. A transfinite sequence of ?-models; Chapter 42. Partial orderings of the family of ?-models; Chapter 43. A contribution to teratology , Chapter 44. A remark on models of the Gödel-Bernays axioms for set theory , English
    Additional Edition: ISBN 0-444-85103-8
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 9
    Online Resource
    Online Resource
    Amsterdam :North-Holland Pub. Co. ;
    UID:
    almahu_9947368112102882
    Format: 1 online resource (529 p.)
    Edition: 2nd completely rev. ed.
    ISBN: 1-283-52581-X , 9786613838261 , 0-08-095495-2
    Series Statement: Studies in logic and the foundations of mathematics ; v. 86
    Uniform Title: Teoria mnogości.
    Content: Provability, Computability and Reflection
    Note: Translation of Teoria mnogosci. , Front Cover; Set Theory: With an Introduction to Descriptive Set Theory; Copyright Page; Preface to the first edition; Preface to the second edition; Contents; CHAPTER I. Algebra of sets; 1. Propositional calculus; 2. Sets and operations on sets; 3. Inclusion, Empty set; 4. Laws of union, intersection, and subtraction; 5. Properties of symmetric difference; 6. The set 1, complement; 7. Constituents; 8. Applications of the algebra of sets to topology; 9. Boolean algebras; 10. Lattices; CHAPTER II. Axioms of set theory. Relations. Functions , 4. Finite and infinite setsCHAPTER IV. Generalized union, intersection and Cartesian product; 1. Set-valued functions . Generalized union and intersection; 2. Operations on infinite sequences of sets; 3. Families of sets closed under given operations; 4. σ-additive and δ-multiplicative families of sets; 5. Reduction and separation properties; 6. Generalized Cartesian products; 7. Cartesian products of topological spaces; 8. The Tychonoff theorem; 9. Reduced direct products; 10. Infinite operations in lattices and in Boolean algebras , 11. Extensions of ordered sets to complete lattices 12. Representation theory for distributive lattices; CHAPTER V. Theory of cardinal numbers; 1. Equipollence. Cardinal numbers; 2. Countable sets; 3. The hierarchy of cardinal numbers; 4. The arithmetic of cardinal numbers; 5. Inequalities between cardinal numbers. The Cantor-Bernstein theorem and its generalizations; 6. Properties of the cardinals a and c; 7. The generalized sum of cardinal numbers; 8. The generalized product of cardinal numbers; CHAPTER VI. Linearly ordered sets; 1. Introduction , 2. Dense, scattered, and continuous sets 3. Order types ω, η, and λ; 4. Arithmetic of order types; 5. Lexicographical ordering; CHAPTER VII. Well-ordered sets; 1. Definitions. Principle of transfinite induction; 2. Ordinal numbers; 3. Transfinite sequences; 4. Definitions by transfinite induction; 5. Ordinal arithmetic; 6. Ordinal exponentiation; 7. Expansions of ordinal numbers for an arbitrary base; 8. The well-ordering theorem; 9. Von Neumann's method of elimination of ordinal numbers; CHAPTER VIII. Alephs and related topics; 1. Ordinal numbers of power a , 2. The cardinal K(m). Hartogs' aleph , English
    Additional Edition: ISBN 0-7204-0470-3
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 10
    Online Resource
    Online Resource
    Burlington :Elsevier Science,
    UID:
    almahu_9947367785402882
    Format: 1 online resource (433 p.)
    ISBN: 1-283-52601-8 , 9786613838469 , 0-08-095772-2
    Series Statement: Studies in logic and the foundations of mathematics ; v.53
    Content: Provability, Computability and Reflection
    Note: Description based upon print version of record. , Front Cover; Set Theory; Copyright Page; CONTENTS; Chapter I. Algebra of sets; 1. Propositional calculus; 2. Sets and operations on sets; 3. Inclusion. Empty set; 4. Laws of union, intersection. and subtraction; 5. Properties of symmetric difference; 6. The set 1, complement; 7. Constituents; 8. Applications of the algebra of sets to topology; 9. Boolean algebras; 10. Lattices; Chapter II. Axioms of set theory. Relations. Functions; 1. Propositional functions. Quantifiers; 2. Axioms of set theory; 3. Some simple consequences of the axioms; 4. Cartesian products. Relations , 2. Operations on infinite sequences of sets3. Families of sets closed under given operations; 4. σ-additive and σ-multiplicative families of sets; 5. Generalized cartesian products; 6. Cartesian products of topological spaces; 7. The Tychonoff theorem; 8. Reduced direct products; 9. Inverse systems and their limits; 10. Infinite operations in lattices and in Boolean algebras; 11. Extensions of ordered sets to complete lattices; 12. Representation theory for distributive lattices; Chapter V. Theory of cardinal numbers; 1. Equipollence of Cardinal numbers; 2. Countable sets , 3. The hierarchy of cardinal numbers4. The arithmetic of cardinal numbers; 5. Inequalities between cardinal numbers. The Cantor-Bernstein theorem and its generalizations; 6. Properties of the cardinals a and c; 7. The generalized sum of cardinal numbers; 8. The generalized product of cardinal numbers; Chapter VI. Linearly ordered sets; 1. Introduction; 2. Dense, scattered, and continuous sets; 3. Order types ω, η and λ; 4. Arithmetic of order types; 5. Lexicographical ordering; Chapter VII. Well-ordered sets; 1. Definitions. Principle of transfinite induction; 2. Ordinal numbers , 3. Transfinite sequences4. Definitions by transfinite induction; 5. Ordinal arithmetic; 6. Ordinal exponentiation; 7. Expansions of ordinal numbers for an arbitrary base; 8. The well-ordering theorem; 9. Von Neumann's method of elimination of ordinal numbers; Chapter VIII. Alephs and related topics; 1. Ordinal numbers of power a; 2. The cardinal N(m). Hartogs' aleph; 3. Initial ordinals; 4. Alephs and their arithmetic; 5. The exponentiation of alephs; 6. Equivalence of certain statements about cardinal numbers and the axiom of choice; 7. The exponential hierarchy of cardinal numbers , 8. Miscellaneous problems of power associated with Boolean algebras , English
    Additional Edition: ISBN 0-444-53417-2
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages