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
Calcoli generali con «tipi» e Logiche generalizzate
In this paper we introduce a notion of "Generalized Logic" and we study some of its properties.
Cancellation of Abelian groups of finite rank modulo elementary equivalence.
Canonical Objects in Classes of (n, V)-Groupoids
AMS Subj. Classification: 03C05, 08B20Free algebras are very important in studying classes of algebras, especially varieties of algebras. Any algebra that belongs to a given variety of algebras can be characterized as a homomorphic image of a free algebra of that variety. Describing free algebras is an important task that can be quite complicated, since there is no general method to resolve this problem. The aim of this work is to investigate classes of groupoids, i.e. algebras with one binary operation,...