Source author record

Samuel Braunfeld

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.LO math.CO math.GR math.RA

Catalog footprint

Research overview

8works

4topics

3close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Worst case expansions of complete theories

Given a complete theory $T$ and a subset $Y \subseteq X^k$ , we precisely determine the {\em worst case complexity}, with respect to further monadic expansions, of an expansion $(M,Y)$ by $Y$ of a model $M$ of $T$ with universe $X$ . In particular, although by definition monadically stable/NIP theories are robust under arbitrary monadic expansions, we show that monadically NFCP (equivalently, mutually algebraic) theories are the largest class that is robust under anything beyond monadic expansions. We also exhibit a paradigmatic structure for the failure of each of monadic NFCP/stable/NIP and prove each of these paradigms definably embeds into a monadic expansion of a sufficiently saturated model of any theory without the corresponding property.

preprint2021arXiv

Counting siblings in universal theories

We show that if a countable structure $M$ in a finite relational language is not cellular, then there is an age-preserving $N \supseteq M$ such that $2^{\aleph_0}$ many structures are bi-embeddable with $N$ . The proof proceeds by a case division based on mutual algebraicity.

preprint2021arXiv

Monadic stability and growth rates of $ω$ -categorical structures

For $M$ $ω$ -categorical and stable, we investigate the growth rate of $M$ , i.e. the number of orbits of $Aut(M)$ on $n$ -sets, or equivalently the number of $n$ -substructures of $M$ after performing quantifier elimination. We show that monadic stability corresponds to a gap in the spectrum of growth rates, from slower than exponential to faster than exponential. This allows us to give a nearly complete description of the spectrum of slower than exponential growth rates (without the assumption of stability), confirming some longstanding conjectures of Cameron and Macpherson and proving the existence of gaps not previously recognized.

preprint2021arXiv

Mutual algebraicity and cellularity

We prove two results intended to streamline proofs about cellularity that pass through mutual algebraicity. First, we show that a countable structure $M$ is cellular if and only if $M$ is $ω$ -categorical and mutually algebraic. Second, if a countable structure $M$ in a finite relational language is mutually algebraic non-cellular, we show it admits an elementary extension adding infinitely many infinite MA-connected components. Towards these results, we introduce MA-presentations of a mutually algebraic structure, in which every atomic formula is mutually algebraic. This allows for an improved quantifier elimination and a decomposition of the structure into independent pieces. We also show this decomposition is largely independent of the MA-presentation chosen.

preprint2021arXiv

Theories with few non-algebraic types over models, and their decompositions

We consider several ways of decomposing models into parts of bounded size forming a congruence over a base, and show that admitting any such decomposition is equivalent to mutual algebraicity at the level of theories. We also show that a theory $T$ is mutually algebraic if and only if there is a uniform bound on the number of coordinate-wise non-algebraic types over every model, regardless of its cardinality.

preprint2020arXiv

$Λ$ -ultrametric spaces and lattices of equivalence relations

For a finite lattice $Λ$ , $Λ$ -ultrametric spaces have, among other reasons, appeared as a means of constructing structures with lattices of equivalence relations embedding $Λ$ . This makes use of an isomorphism of categories between $Λ$ -ultrametric spaces and structures equipped with certain families of equivalence relations. We extend this isomorphism to the case of infinite lattices. We also pose questions about representing a given finite lattice as the lattice of $\emptyset$ -definable equivalence relations of structures with model-theoretic symmetry properties.

preprint2020arXiv

Homogeneous 3-dimensional permutation structures

We provide a classification of the homogeneous 3-dimensional permutation structures, i.e. homogeneous structures in a language of 3 linear orders, partially answering a question of Cameron. We also arrive at a natural description of all known homogeneous finite-dimensional permutation structures by modifying the language used in the construction from a previous paper, completing the "census" begun there.

preprint2020arXiv

The classification of homogeneous finite-dimensional permutation structures

We classify the homogeneous finite-dimensional permutation structures, i.e., homogeneous structures in a language of finitely many linear orders, giving a nearly complete answer to a question of Cameron, and confirming the classification conjectured by the first author. The primitive case was proven by the second author using model-theoretic methods, and those methods continue to appear here.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Samuel Braunfeld

Research overview

Is this your work?

8 publications

Worst case expansions of complete theories

Counting siblings in universal theories

Monadic stability and growth rates of $ω$ -categorical structures

Mutual algebraicity and cellularity

Theories with few non-algebraic types over models, and their decompositions

$Λ$ -ultrametric spaces and lattices of equivalence relations

Homogeneous 3-dimensional permutation structures

The classification of homogeneous finite-dimensional permutation structures

See the researcher in context

Building this map preview

Samuel Braunfeld

Research overview

Is this your work?

8 publications

Worst case expansions of complete theories

Counting siblings in universal theories

Monadic stability and growth rates of ωωω-categorical structures

Mutual algebraicity and cellularity

Theories with few non-algebraic types over models, and their decompositions

ΛΛΛ-ultrametric spaces and lattices of equivalence relations

Homogeneous 3-dimensional permutation structures

The classification of homogeneous finite-dimensional permutation structures

See the researcher in context

Building this map preview

Monadic stability and growth rates of $ω$ -categorical structures

$Λ$ -ultrametric spaces and lattices of equivalence relations