Page 1 Next

Displaying 1 – 20 of 136

Showing per page

1 -Boolean spectrum, and stability

Piero Mangani, Annalisa Marcja (1982)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

Si dimostra che la conoscenza delle algebre di Boole dei definibili di modelli di cardinità 1 di una teoria elementare è sufficiente per decidere il suo tipo di stabilità.

A model-theoretic Baire category theorem for simple theories and its applications

Ziv Shami (2013)

Fundamenta Mathematicae

We prove a model-theoretic Baire category theorem for τ ̃ l o w 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 topologies, or T interprets an infinite definable 1-based group of finite D-rank or T interprets a strongly minimal formula.

A note on noninterpretability in o-minimal structures

Ricardo Bianconi (1998)

Fundamenta Mathematicae

We prove that if M is an o-minimal structure whose underlying order is dense then Th(M) does not interpret the theory of an infinite discretely ordered structure. We also make a conjecture concerning the class of the theory of an infinite discretely ordered o-minimal structure.

A note on Steinhorn's omitting types theorem

Akito Tsuboi (2009)

Colloquium Mathematicae

Let p(x) be a nonprincipal type. We give a sufficient condition for a model M to have a proper elementary extension omitting p(x). As a corollary, we obtain a generalization of Steinhorn's omitting types theorem to the supersimple case.

Amenability, extreme amenability, model-theoretic stability, and dependence property in integral logic

Karim Khanaki (2016)

Fundamenta Mathematicae

This paper has three parts. First, we study and characterize amenable and extremely amenable topological semigroups in terms of invariant measures using integral logic. We prove definability of some properties of a topological semigroup such as amenability and the fixed point on compacta property. Second, we define types and develop local stability in the framework of integral logic. For a stable formula ϕ, we prove definability of all complete ϕ-types over models and deduce from this the fundamental...

Ample hierarchy

Andreas Baudisch, Amador Martin-Pizarro, Martin Ziegler (2014)

Fundamenta Mathematicae

The ample hierarchy of geometries of stables theories is strict. We generalise the construction of the free pseudospace to higher dimensions and show that the n-dimensional free pseudospace is ω-stable n-ample yet not (n+1)-ample. In particular, the free pseudospace is not 3-ample. A thorough study of forking is conducted and an explicit description of canonical bases is given.

Around Podewski's conjecture

Krzysztof Krupiński, Predrag Tanović, Frank O. Wagner (2013)

Fundamenta Mathematicae

A long-standing conjecture of Podewski states that every minimal field is algebraically closed. Known in positive characteristic, it remains wide open in characteristic zero. We reduce Podewski's conjecture to the (partially) ordered case, and we conjecture that such fields do not exist. We prove the conjecture in case the incomparability relation is transitive (the almost linear case). We also study minimal groups with a (partial) order, and give a complete classification of...

Around stable forking

Byunghan Kim, A. Pillay (2001)

Fundamenta Mathematicae

We discuss various conjectures and problems around the issue of when and whether stable formulas are responsible for forking in simple theories. We prove that if the simple theory T has strong stable forking then any complete type is a nonforking extension of a complete type which is axiomatized by instances of stable formulas. We also give another treatment of the first author's result which identifies canonical bases in supersimple theories.

Borel completeness of some ℵ₀-stable theories

Michael C. Laskowski, Saharon Shelah (2015)

Fundamenta Mathematicae

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 I , ( T , λ ) = 2 λ for all cardinals λ if and only if T either has eni-DOP or is eni-deep.

Categoricity of theories in Lκω , when κ is a measurable cardinal. Part 1

Saharon Shelah, Oren Kolman (1996)

Fundamenta Mathematicae

We assume a theory T in the logic L κ ω is categorical in a cardinal λ κ, and κ is a measurable cardinal. We prove that the class of models of T of cardinality < λ (but ≥ |T|+κ) has the amalgamation property; this is a step toward understanding the character of such classes of models.

Currently displaying 1 – 20 of 136

Page 1 Next