zbMath0388.03009MaRDI QIDQ1250098
Saharon Shelah
Publication date: 1978
Published in: Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)
Model theory of modules,
Models of superstable Horn theories,
Strongly minimal countably categorical theories. III,
Superstable groups,
Remarks in abstract model theory,
Infinitary stability theory,
On countable stable structures which are homogeneous for a finite relational language,
Stable structures homogeneous for a finite binary language,
Forking, normalization and canonical bases,
Superstable groups of finite rank without pseudoplanes,
Existence of many \(L_{\infty,\lambda}\)-equivalent, non-isomorphic models of T of power \(\lambda\),
Uncountable groups have many nonconjugate subgroups,
The spectrum problem. III: Universal theories,
Trivial pursuit: remarks on the main gap,
Measures and forking,
Categoricity and generalized model completeness,
The number of the models of complete Horn theories of finite depth,
Comparison of Boolean algebras,
On the number of strongly \(\aleph _{\epsilon}\)-saturated models of power \(\lambda\),
On reconstructing separable reduced p-groups with a given socle,
Preservation of stability under finite extension of a group,
More on powers of singular cardinals,
Cofinality spectrum problems: the axiomatic approach,
The notion of independence in categories of algebraic structures. I: Basic properties,
Structures coordinatized by indiscernible sets,
Number of strongly \(\aleph _{\epsilon}\)-saturated models - an addition,
On the model theory of the ring \(\mathrm{NT}(n,R)\),
A conjecture of Shelah,
Dimensional order property and pairs of models,
Counting models in universal Horn classes,
On universal locally finite groups,
The number of non-isomorphic models in quasi-varieties of semigroups,
Elementary extensions, ommission of types, and homogeneous models,
What languages have Tarski truth definitions?,
Prescribing endomorphism algebras. The cotorsion-free case,
Stable theories, pseudoplanes and the number of countable models,
On VC-minimal theories and variants,
Rings of real-valued continuous functions. II,
Applications of model theory to representations of finite-dimensional algebras,
(\(\kappa ,\theta \))-weak normality,
Almost orthogonal regular types,
The theorems of Beth and Craig in abstract model theory. III: \(\Delta\)- logics and infinitary logics,
Omega-categoricity, relative categoricity and coordinatisation,
Forking in locally free algebras,
Categoricity of theories in \(L_{\kappa \omega}\), with \(\kappa\) a compact cardinal,
More on monadic logic. C: Monadically interpreting in stable unsuperstable \(\mathcal T\) and the monadic theory of \(^{\omega}\lambda\),
Characterization of NIP theories by ordered graph-indiscernibles,
Characterization of \(\omega\)-stable theories of bounded dimension,
\(L_{\infty \omega}\)-free algebras,
Universal graphs without instances of CH: Revisited,
Non-totally transcendental unidimensional theories,
When is arithmetic possible?,
Countable models of small stable theories,
Similarities and proximity of complete theories,
Constructing strongly equivalent nonisomorphic models for unstable theories,
The primal framework. II: Smoothness,
Locally finite weakly minimal theories,
Multi-dimensionality,
Stability and omitting types,
On homogeneous models of totally transcendental nonmultidimensional theories,
Toward a description of monoids over which all polygons have \(\omega\)- stable theories,
Type reduction and powerful types,
Vive la différence. III,
The age of a relational structure,
Characterizing model-theoretic dividing lines via collapse of generalized indiscernibles,
Finite-model theory -- A personal perspective,
On the automorphism groups of finite covers,
An omitting types theorem for saturated structures,
On locally modular, weakly minimal theories,
Structural problems for model companions of varieties of polygons,
Generalized stability of torsion-free abelian groups,
O-stable theories,
Locally modular theories of finite rank,
Independence results for uncountable superstable theories,
Elementary pairs of models,
Weakly minimal formulas: A global approach,
A compactness theorem for singular cardinals, free algebras, Whitehead problem and transversals,
Unidimensional theories are superstable,
Cardinal invariants of infinite groups,
Semisimple stable and superstable groups,
Classification theory for abelian groups with an endomorphism,
Models with second order properties. IV. A general method and eliminating diamonds,
The spectrum problem. I: \(\aleph_{\epsilon}\)-saturated models, the main gap,
The structure of saturated free algebras,
The number of types in simple theories,
The number of uncountable models of \(\omega\)-stable theories,
Rings of finite representation type and modules of finite Morley rank,
On the number of non conjugate subgroups,
Forking types and rank functions in stable theories,
\(\aleph _ 0\)-categorical, \(\aleph _ 0\)-stable structures,
Isomorphism types of Aronszajn trees,
Resplendency and recursive definability in \(\omega\)-stable theories,
Constructions of many complicated uncountable structures and Boolean algebras,
Classification theory for non-elementary classes. I: The number of uncountable models of \(\psi \in L_{\omega _ 1,\omega}\),
Sylow theory for groups of finite Morley rank,
A survey of basic stability theory, with particular emphasis on orthogonality and regular types,
Classification of superstable theories by rank functions,
First-order theories of abstract dependence relations,
Invariants for \(\omega\)-categorical, \(\omega\)-stable theories,
Fundamentals of forking,
Infinite stable graphs with large chromatic number,
NOTES ON THE STABLE REGULARITY LEMMA,
IN MEMORIAM: MICHAEL MORLEY, 1930–2020,
The model theory of unitriangular groups,
Universal theories categorical in power and \(\kappa\)-generated models,
On properties of theories which preclude the existence of universal models,
Unnamed Item,
Unnamed Item,
Meager forking,
Cofinality spectrum theorems in model theory, set theory, and general topology,
A model and its subset: The uncountable case,
Lascar rank and the finite cover property for complete theories of unars,
Hanf numbers for extendibility and related phenomena,
On the class of flat stable theories,
THE STABILITY SPECTRUM FOR CLASSES OF ATOMIC MODELS,
More on monadic logic. Part D: A note on addition of theories,
Products of regular cardinals and cardinal invariants of products of Boolean algebras,
Remarks on structure theorems for \(\omega_ 1\)-saturated models,
Back-and-forth for systems of antichains,
Homogeneous models for unidimensional theories,
On the structure of stable groups,
Chains of pseudocompact group topologies,
Cardinal invariants and independence results in the poset of precompact group topologies,
Model-theoretic applications of cofinality spectrum problems,
О группах, несущих однородные ослабленные предгеометрии,
Historical and philosophical notices on the continuum,
Toward classifying unstable theories,
KEISLER’S ORDER IS NOT LINEAR, ASSUMING A SUPERCOMPACT,
Constructing regular ultrafilters from a model-theoretic point of view,
C-minimality and model companions,
Omitting Types in Fragments and Extensions of First Order Logic,
Atomic saturation of reduced powers,
Is Logic Relevant to Classifications?,
An AEC framework for fields with commuting automorphisms,
CELLULAR CATEGORIES AND STABLE INDEPENDENCE,
Products of classes of finite structures,
On model-theoretical properties in the sense of Peretyat’kin, o-minimality, and mutually interpretable theories,
Towards a finer classification of strongly minimal sets,
Recursive functions and existentially closed structures,
Uncountable categoricity of local abstract elementary classes with amalgamation,
The affinity of set theory and abelian group theory.,
A strong failure of \(\aleph _0\)-stability for atomic classes,
Quite free complicated abelian groups, pcf and black boxes,
Classification theory through stationary logic,
A dividing line within simple unstable theories,
The space of strong types and an open map theorem,
HENKIN CONSTRUCTIONS OF MODELS WITH SIZE CONTINUUM,
Distinct volume subsets via indiscernibles,
Unnamed Item,
THE NUMBER OF ATOMIC MODELS OF UNCOUNTABLE THEORIES,
On Vapnik‐Chervonenkis density over indiscernible sequences,
A Notion of Rank for Right Congruences on Semigroups,
A note on tight stable theorie,
Idéaux et types sur les corps séparablement clos,
A GEOMETRIC INTRODUCTION TO FORKING AND THORN-FORKING,
THORN-FORKING AS LOCAL FORKING,
A combinatorial principle and endomorphism rings. I: On \(p\)-groups,
A survey of homogeneous structures,
Modules with few types over a commutative valuation ring,
On a common generalization of Shelah's 2-rank, dp-rank, and o-minimal dimension,
Maximal hyperbolic towers and weight in the theory of free groups,
Simple monadic theories and indiscernibles,
Independence in Model Theory,
Complexity and randomness in the Heisenberg groups (and beyond),
Totally transcendental theories of modules: Decomposition of models and types,
The primal framework. I,
A.D. Taimanov and model theory in Kazakhstan,
Convexity Relations and Generalizations of o-Minimality,
Stability of weak second-order semantics,
MODEL THEORY AND MACHINE LEARNING,
THICKET DENSITY,
Categoricity for abstract classes with amalgamation,
Toward categoricity for classes with no maximal models,
A separation theorem for simple theories,
Vive la différence. II: The Ax-Kochen isomorphism theorem,
Однородность высокая и низкая