Source author record

Ziv Shami

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

ResearcherUnclaimed source record

Catalog footprint

Research overview

7works
1topics
1close collaborators

Published work

7 publications

preprint2022arXiv

A Note on Edge Colorings and Trees

We point out some connections between existence of homogenous sets for certain edge colorings and existence of branches in certain trees. As a consequence, we get that any locally additive coloring (a notion introduced in the paper) of a cardinal κκ has a homogeneous set of size κκ provided that the number of colors, μμ satisfies μ+<κμ^+<κ. Another result is that an uncountable cardinal κκ is weakly compact if and only if κκ is regular, has the tree property and for each λ,μ<κλ,μ<κ there exists κ∗<κκ^*<κ such that every tree of height μμ with λλ nodes has less than κ∗κ^* branches.

preprint2020arXiv

A note on the NFI-topology

The NFINFI-topology, introduced in [S0], is a topology on the Stone space of a theory TT that depends on a reduct T−T^- of TT. This topology has been used in [S0] to describe the set of universal transducers for (T,T−)(T,T^-) (invariants sets that translates forking-open sets in T−T^- to forking-open sets in TT). In this paper we show that in contrast to the stable case, the NFINFI-topology need not be invariant over parameters in T−T^- but a weak version of this holds for any simple TT. We also note that for the lovely pair expansions, of theories with the \em wnfcp\em , the topology is invariant over ∅\emptyset in T−T^-.

preprint2013arXiv

A model theoretic Baire category theorem for simple theories

We prove a model theoretic Baire category theorem for τ~lowf\tildeτ_{low}^f-sets in a countable simple theory in which the extension property is first-order and show some of its applications. We also prove a trichotomy for minimal types in countable nfcp theories: either every type that is internal in a minimal type is essentially-1-based by means of the forking topology or TT interprets an infinite definable 1-based group of finite DD-rank or TT interprets a strongly-minimal formula.

preprint2013arXiv

On uncountable hypersimple unidimensional theories

We extend a dichotomy between 1-basedness and supersimplicity proved in a previous paper. The generalization we get is to arbitrary language, with no restrictions on the topology (we do not demand type-definabilty of the open set in the definition of essential 1-basedness). We conclude that every (possibly uncountable) hypersimple unidimensional theory that is not s-essentially 1-based by means of the forking topology is supersimple. We also obtain a strong version of the above dichotomy in the case where the language is countable.

Research graph

See the researcher in context

Open full explorer

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.