Author: J. C. M. Baeten
Publisher:
ISBN:
Category : Admissible sets
Languages : en
Pages : 96
Book Description
Filters and Ultrafilters Over Definable Subsets of Admissible Ordinals
Author: J. C. M. Baeten
Publisher:
ISBN:
Category : Admissible sets
Languages : en
Pages : 96
Book Description
Publisher:
ISBN:
Category : Admissible sets
Languages : en
Pages : 96
Book Description
Filters and Ultrafilters Over Definable Subsets of Admissible Ordinals
Author: J. C. M. Baeten
Publisher:
ISBN:
Category : Admissible sets
Languages : en
Pages : 166
Book Description
Publisher:
ISBN:
Category : Admissible sets
Languages : en
Pages : 166
Book Description
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983
Author: G. H. Müller
Publisher: Springer
ISBN: 3540391150
Category : Mathematics
Languages : en
Pages : 492
Book Description
Publisher: Springer
ISBN: 3540391150
Category : Mathematics
Languages : en
Pages : 492
Book Description
Set Theory
Author: Joan Bagaria
Publisher: Springer Science & Business Media
ISBN: 3764376929
Category : Mathematics
Languages : en
Pages : 408
Book Description
Contains survey papers on some of the mainstream areas of set theory and research. This book covers topics such as Omega-logic, applications of set theory to lattice theory and Boolean algebras, real-valued measurable cardinals, complexity of sets and relations in continuum theory, weak subsystems of axiomatic set theory, and more.
Publisher: Springer Science & Business Media
ISBN: 3764376929
Category : Mathematics
Languages : en
Pages : 408
Book Description
Contains survey papers on some of the mainstream areas of set theory and research. This book covers topics such as Omega-logic, applications of set theory to lattice theory and Boolean algebras, real-valued measurable cardinals, complexity of sets and relations in continuum theory, weak subsystems of axiomatic set theory, and more.
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983
Author: M. M. Richter
Publisher: Springer
ISBN: 3540391193
Category : Mathematics
Languages : en
Pages : 481
Book Description
Publisher: Springer
ISBN: 3540391193
Category : Mathematics
Languages : en
Pages : 481
Book Description
The Higher Infinite
Author: Akihiro Kanamori
Publisher: Springer Science & Business Media
ISBN: 3540888667
Category : Mathematics
Languages : en
Pages : 554
Book Description
Over the years, this book has become a standard reference and guide in the set theory community. It provides a comprehensive account of the theory of large cardinals from its beginnings and some of the direct outgrowths leading to the frontiers of contemporary research, with open questions and speculations throughout.
Publisher: Springer Science & Business Media
ISBN: 3540888667
Category : Mathematics
Languages : en
Pages : 554
Book Description
Over the years, this book has become a standard reference and guide in the set theory community. It provides a comprehensive account of the theory of large cardinals from its beginnings and some of the direct outgrowths leading to the frontiers of contemporary research, with open questions and speculations throughout.
Ω-Bibliography of Mathematical Logic
Author: Heinz-Dieter Ebbinghaus
Publisher: Springer Science & Business Media
ISBN: 3662090589
Category : Mathematics
Languages : en
Pages : 653
Book Description
Gert H. Müller The growth of the number of publications in almost all scientific areas, as in the area of (mathematical) logic, is taken as a sign of our scientifically minded culture, but it also has a terrifying aspect. In addition, given the rapidly growing sophistica tion, specialization and hence subdivision of logic, researchers, students and teachers may have a hard time getting an overview of the existing literature, partic ularly if they do not have an extensive library available in their neighbourhood: they simply do not even know what to ask for! More specifically, if someone vaguely knows that something vaguely connected with his interests exists some where in the literature, he may not be able to find it even by searching through the publications scattered in the review journals. Answering this challenge was and is the central motivation for compiling this Bibliography. The Bibliography comprises (presently) the following six volumes (listed with the corresponding Editors): I. Classical Logic W. Rautenberg 11. Non-classical Logics W. Rautenberg 111. Model Theory H.-D. Ebbinghaus IV. Recursion Theory P.G. Hinman V. Set Theory A.R. Blass VI. ProofTheory; Constructive Mathematics J.E. Kister; D. van Dalen & A.S. Troelstra.
Publisher: Springer Science & Business Media
ISBN: 3662090589
Category : Mathematics
Languages : en
Pages : 653
Book Description
Gert H. Müller The growth of the number of publications in almost all scientific areas, as in the area of (mathematical) logic, is taken as a sign of our scientifically minded culture, but it also has a terrifying aspect. In addition, given the rapidly growing sophistica tion, specialization and hence subdivision of logic, researchers, students and teachers may have a hard time getting an overview of the existing literature, partic ularly if they do not have an extensive library available in their neighbourhood: they simply do not even know what to ask for! More specifically, if someone vaguely knows that something vaguely connected with his interests exists some where in the literature, he may not be able to find it even by searching through the publications scattered in the review journals. Answering this challenge was and is the central motivation for compiling this Bibliography. The Bibliography comprises (presently) the following six volumes (listed with the corresponding Editors): I. Classical Logic W. Rautenberg 11. Non-classical Logics W. Rautenberg 111. Model Theory H.-D. Ebbinghaus IV. Recursion Theory P.G. Hinman V. Set Theory A.R. Blass VI. ProofTheory; Constructive Mathematics J.E. Kister; D. van Dalen & A.S. Troelstra.
Proceedings of the Logic Colloquium, Held in Aachen, July 18-23, 1983
Author:
Publisher:
ISBN:
Category : Algebraic logic
Languages : en
Pages : 512
Book Description
Publisher:
ISBN:
Category : Algebraic logic
Languages : en
Pages : 512
Book Description
Regular Variation, Extensions and Tauberian Theorems
Author: J. L. Geluk
Publisher:
ISBN:
Category : Analytic functions
Languages : en
Pages : 148
Book Description
Publisher:
ISBN:
Category : Analytic functions
Languages : en
Pages : 148
Book Description
Monotonicity Properties of Infinitely Divisible Distributions
Author: B. G. Hansen
Publisher:
ISBN:
Category : Distribution (Probability theory).
Languages : en
Pages : 120
Book Description
Publisher:
ISBN:
Category : Distribution (Probability theory).
Languages : en
Pages : 120
Book Description