Results 21 to 30 of about 859 (81)
On Quasiminimal Excellent Classes [PDF]
, 2007 A careful exposition of Zilber's quasiminimal excellent classes and their categoricity is given, leading to two new results: the L_w1,w(Q)-definability assumption may be dropped, and each class is determined by its model of dimension aleph_0.Comment: 16 ...
Baldwin, Jonathan Kirby, Marker
core +2 more sources
Independence Logic and Abstract Independence Relations [PDF]
, 2015 We continue the work on the relations between independence logic and the model-theoretic analysis of independence, generalizing the results of [15] and [16] to the framework of abstract independence relations for an arbitrary AEC.
Adler +18 more
core +1 more source
Induced gravity and gauge interactions revisited [PDF]
, 2009 It has been shown that the primary, old-fashioned idea of Sakharov's induced gravity and gauge interactions, in the "one-loop dominance" version, works astonishingly well yielding phenomenologically reasonable results.
Akama +33 more
core +2 more sources
Heritability of Types of Pregeometry with Respect to Compositions of Structures
Известия Иркутского государственного университета: Серия "Математика"In this paper, we investigate how the pregeometry arising from the composition of two predicate signature structures inherits the types of pregeometries of the original stuctures.
S. B. Malyshev
doaj +1 more source
Simple structures axiomatized by almost sure theories
, 2015 In this article we give a classification of the binary, simple, $\omega$-categorical structures with SU-rank 1 and trivial pregeometry. This is done both by showing that they satisfy certain extension properties, but also by noting that they may be ...
Ahlman, Ove
core +1 more source
DEPENDENCE LOGIC IN PREGEOMETRIES ANDω-STABLE THEORIES [PDF]
The Journal of Symbolic Logic, 2016 AbstractWe present a framework for studying the concept of independence in a general context covering database theory, algebra and model theory as special cases. We show that well-known axioms and rules of independence for making inferences concerning basic atomic independence statements are complete with respect to a variety of semantics.
PAOLINI, GIANLUCA, VÄÄNÄNEN, JOUKO
openaire +5 more sources
The geometry of Hrushovski constructions, I. The uncollapsed case
, 2011 An intermediate stage in Hrushovski's construction of flat strongly minimal structures in a relational language L produces omega-stable structures of rank omega.
Baldwin +8 more
core +1 more source
Quantum metric spaces as a model for pregeometry [PDF]
Physical Review D, 1992 A new arena for the dynamics of spacetime is proposed, in which the basic quantum variable is the two-point distance on a metric space. The scaling dimension (that is, the Kolmogorov capacity) in the neighborhood of each point then defines in a natural way a local concept of dimension.
Alvarez Lacalle, Enrique +2 more
openaire +3 more sources
On model theory of covers of algebraically closed fields
, 2015 We study covers of the multiplicative group of an algebraically closed field as quasiminimal pregeometry structures and prove that they satisfy the axioms for Zariski-like structures presented in \cite{lisuriart}, section 4.
Hyttinen, Tapani, Kangas, Kaisa
core +1 more source
Heritability of types of a pregeometry relative to a family of relational structures
Қарағанды университетінің хабаршысы. Математика сериясыA series of geometrical and topological properties induced by structures, including degeneration, modularity, local modularity, projectivity, local finiteness, etc., play an important role in clarifying structural relationships and in classifying basic ...
S.B. Malyshev, S.V. Sudoplatov
doaj +1 more source