Set theory. With an introduction to descriptive set theory. Translation of the original Polish edition. 2nd, completely revised ed

zbMath0337.02034MaRDI QIDQ1229868

K. Kuratowski, Andrzej Mostowski

Publication date: 1976

Published in: Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Set theory (03Exx)

Related Items

Positive operator valued measures and Feller Markov kernels ⋮ A property of matrices over ordered sets ⋮ Direct integrals of matrices ⋮ Ordinals in Frobenius monads ⋮ Topological and frame properties of certain pathological \(C^{\ast}\)-algebras ⋮ On some subclasses of the family of Darboux Baire 1 functions ⋮ Comparison of Boolean algebras ⋮ Approximations of arbitrary relations by partial orders ⋮ Equivalence structures and their automorphisms ⋮ Canonical forms of Borel-measurable mappings \(\Delta: [\omega^{\omega}\to {\mathbb{R}}\)] ⋮ Every crowded pseudocompact ccc space is resolvable ⋮ A note on the models on general systems ⋮ General controllability and general stabilities of linear systems ⋮ A Hilbert \(C^*\)-module with extremal properties ⋮ On Souslin sets and embeddings in integer-valued function spaces on \(\omega_1\) ⋮ The Concept of Fuzzy Systems ⋮ Hunting Voronoi vertices ⋮ On base dimension-like functions of the type ind ⋮ Developing a mathematical theory of computability which speaks the language of levels ⋮ Fixed point characterization of infinite behavior of finite-state systems ⋮ Axial Borel functions ⋮ Pseudo-Fubini real-entire functions on the plane ⋮ On finite sums of periodic functions ⋮ Rings of real-valued continuous functions. II ⋮ Equivalent norms on spaces of bounded functions ⋮ Revision without revision sequences: circular definitions ⋮ Bipartite graphs and best proximity pairs ⋮ On the question of definability of homogeneously decomposable torsion-free abelian groups by their homomorphism groups and endomorphism rings ⋮ Completeness, closedness and metric reflections of pseudometric spaces ⋮ Self-adjunctions and matrices. ⋮ On the relationships between the moments of a POVM and the generator of the von Neumann algebra it generates ⋮ Combinatorial characterization of pseudometrics ⋮ A degree of nonlocal connectedness. ⋮ Base dimension-like functions of the type ind ⋮ ON THE STABILITIES OF INPUT-OUTPUT SYSTEMS ⋮ Subspaces of \(\mathbb{Q}\) whose d-logics do not have the FMP ⋮ Set theory, topology, and the possibility of junky worlds ⋮ System hierarchies with continuous linkage mappings ⋮ On inverse systems of general systems ⋮ The controlled separable projection property for Banach spaces ⋮ On L-fuzzy systems ⋮ Constructive and computable Hahn-Banach theorems for the (second) fundamental theorem of welfare economics ⋮ Periodic linked time systems ⋮ How to stay in a set or Koenig's lemma for random paths ⋮ On Mazurkiewicz's sets, thin \(\sigma\)-ideals of compact sets and the space of probability measures on the rationals ⋮ Some descriptive set-theoretic properties of the isomorphism relation between Banach spaces ⋮ Heyting mereology as a framework for spatial reasoning ⋮ Generalized doubling meets Poincaré ⋮ A nonseparable invariant extension of Lebesgue measure -- a generalized and abstract approach ⋮ On the computability of Lyapunov exponents of linear differential systems along geometric time progressions ⋮ Families of Darboux functions and topology having \((\mathcal{J}^\ast)\)-property ⋮ Copies of \(c_{0}(\Gamma)\) and \(\ell _{\infty }(\Gamma)/c_{0}(\Gamma)\) in quotients of Banach spaces with applications to Orlicz and Marcinkiewicz spaces ⋮ Highly tempering infinite matrices ⋮ Note on Compact Sets of First Baire Class Functions ⋮ Addition and product theorems for ind ⋮ On the structure of constituents of finite independent families of convex bodies in \(R^2\) and \(R^3\) spaces ⋮ A stochastic interpretation of game logic ⋮ Absolute ideals of algebraically compact abelian groups ⋮ Rings on vector abelian groups ⋮ Structure of concurrency ⋮ Functor of extension in Hilbert cube and Hilbert space ⋮ Partitions, packings and coverings by families with nonempty intersections ⋮ Uncountably many pairwise disjoint copies of one metrizable compactum in another ⋮ Combinatorial properties of ultrametrics and generalized ultrametrics ⋮ Sierpiński's technique and subsets of \(\mathbb{R}{}\) ⋮ Darboux functions related to generalization of approximately continuity ⋮ On Urysohn's \(\mathbb{R}\)-tree ⋮ On some generalization of the notion of continuity. Category case ⋮ Abstract formulations of some theorems on nonmeasurable sets ⋮ On the Borel class of the derived set operator. II ⋮ Another Counterexample in ANR Theory ⋮ Concerning Continuity Apart from a Meager Set ⋮ Axioms for a theory of semantic equivalence ⋮ Positional dimension-like functions of the type Ind ⋮ GENERAL FEEDBACK SYSTEMS* ⋮ Inverse semigroups of local automorphisms of universal algebras ⋮ Semigroups of pathological sets ⋮ Optimizing insertions in a constraint routing problem with complicated cost functions ⋮ \(\mathcal{A}\)-continuity and measure ⋮ On the independence of core-equivalence results from Zermelo-Fraenkel set theory ⋮ The range of ultrametrics, compactness, and separability ⋮ Nonnormality or hereditary paracompactness of some spaces of real functions ⋮ An axiomatic basis of space-time theory. I: Construction of a causal space with coordinates ⋮ Unnamed Item ⋮ The maximal dominated subsets of a statistical experiment ⋮ PMEA implies proposition P ⋮ On the Borel class of the derived set operator ⋮ On the Cantor-Bendixson derivative, resolvable ranks, and perfect set theorems of A. H. Stone ⋮ Partitioning 𝛼–large sets: Some lower bounds ⋮ A Theorem on Function Spaces ⋮ A compact space with a measure that knows which sets are homeomorphic ⋮ Decision procedures for elementary sublanguages of set theory. III: Restricted classes of formulas involving the power set operator and the general set union operator ⋮ EXISTENCE OF MAJOR DISEASES AND MODELING OF EPIDEMIOLOGIC TRANSITION: A GENERAL SYSTEMS THEORETIC APPROACH ⋮ The cardinality of fuzzy sets and the continuum hypothesis ⋮ Continuous mappings between general systems ⋮ Cofinally invariant sequences and revision ⋮ The structure of the models of decidable monadic theories of graphs ⋮ Several epistemological problems related to the concept of systems ⋮ Stochastic ordering and thinning of point processes ⋮ Real functions for representation of rigid solids ⋮ On properties of one functional used in software constructions for solving differential games ⋮ Semigroups generated by partitions ⋮ SYSTEM — A UNIFIED CONCEPT ⋮ ON FUZZY STABILITY OF L-FUZZY SYSTEMS ⋮ Fourth- and Higher-order Interface Tracking Via Mapping and Adjusting Regular Semianalytic sets Represented by Cubic Splines ⋮ A Systems Study: ⋮ Unnamed Item ⋮ Schützenberger-like products in non-free monoids ⋮ On some generalization of rough sets ⋮ Remarks on the existence of measurable selectors ⋮ The smallest and the largest families of some classes of \(\mathcal{A}\)-continuous functions ⋮ Prototypes, poles, and tessellations: towards a topological theory of conceptual spaces ⋮ Cardinalities of scrambled sets and positive scrambled sets ⋮ Boolean algebra of two-dimensional continua with arbitrarily complex topology ⋮ Pseudometric spaces: from minimality to maximality in the groups of combinatorial self-similarities ⋮ A geometric model of an arbitrary differentially closed field of characteristic zero ⋮ Unnamed Item ⋮ Constructivity, Computability and Computers in Economic Theory: Some Cautionary Notes ⋮ Spaces of measurable functions ⋮ Automata on infinite trees with counting constraints ⋮ REMARKS ON CONTROLLABILITIES OF GENERAL SYSTEMS ⋮ Aromatic Butcher series ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Utility Functions Which Ensure the Adequacy of Stationary Strategies ⋮ ORDER STRUCTURES OF FAMILIES OF GENERAL SYSTEMS