Banach spaces and large cardinals
Banach-Mazur game played in partially ordered sets
Concepts, definitions, notions, and some facts concerning the Banach-Mazur game are customized to a more general setting of partial orderings. It is applied in the theory of Fraïssé limits and beyond, obtaining simple proofs of universality of certain objects and classes.
Barwise Completeness Theorems For Logics With Integrals
Basic terms of the theory of compartmental systems
Beaucoup de modèles à peu de frais
Bemerkungen über minimale Modelle.
Binarity for -categorial weakly o-minimal theories of convexity rank 1.
Birkhoff variety theorem for finite algebras
Boolean algebras with finite families of computable automorphisms.
Boolean powers and stochastic spaces
Boolean powers as algebras of continuous functions [Book]
Boolean spectra and model completions
Boolean Ultrapowers.
Boolean valued rings
Borel completeness of some ℵ₀-stable theories
We study ℵ₀-stable theories, and prove that if T either has eni-DOP or is eni-deep, then its class of countable models is Borel complete. We introduce the notion of λ-Borel completeness and prove that such theories are λ-Borel complete. Using this, we conclude that an ℵ₀-stable theory satisfies for all cardinals λ if and only if T either has eni-DOP or is eni-deep.
Borel sets with large squares
For a cardinal μ we give a sufficient condition (involving ranks measuring existence of independent sets) for: if a Borel set B ⊆ ℝ × ℝ contains a μ-square (i.e. a set of the form A × A with |A| =μ) then it contains a -square and even a perfect square, and also for if has a model of cardinality μ then it has a model of cardinality continuum generated in a “nice”, “absolute” way. Assuming for transparency, those three conditions (, and ) are equivalent, and from this we deduce that...
Bounded products in the theory of valued fields.
Bounded statements in the theory of algebraically closed fields with distinguished automophisms.
Butler groups of infinite rank