Results for 'Stable theory'

982 found
Order:
  1. Beyond stable theory: Intercohort changes in ussr usa and europe.N. Keyfitz, K. Katus, A. J. Coale, A. Anichkin, A. Vishnevsky, M. Murphy, R. Munz, R. Ulrich, R. Bairagi & M. Rahman - 1995 - Journal of Biosocial Science 27 (1):461-75.
     
    Export citation  
     
    Bookmark  
  2.  19
    Non-isolated types in stable theories.Predrag Tanović - 2007 - Annals of Pure and Applied Logic 145 (1):1-15.
    We introduce notions of strong and eventual strong non-isolation for types in countable, stable theories. For T superstable or small stable we prove a dichotomy theorem: a regular type over a finite domain is either eventually strongly non-isolated or is non-orthogonal to a NENI type . As an application we obtain the upper bound for Lascar’s rank of a superstable theory which is one-based or trivial, and has fewer than 20 non-isomorphic countable models.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  22
    Stable theories, pseudoplanes and the number of countable models.Anand Pillay - 1989 - Annals of Pure and Applied Logic 43 (2):147-160.
    We prove that if T is a stable theory with only a finite number of countable models, then T contains a type-definable pseudoplane. We also show that for any stable theory T either T contains a type-definable pseudoplane or T is weakly normal.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  4.  36
    Stable theories without dense forking chains.Bernhard Herwig, James G. Loveys, Anand Pillay, Predag Tanović & O. Wagner - 1992 - Archive for Mathematical Logic 31 (5):297-303.
    We define a generalized notion of rank for stable theories without dense forking chains, and use it to derive that every type is domination-equivalent to a finite product of regular types. We apply this to show that in a small theory admitting finite coding, no realisation of a nonforking extension of some strong type can be algebraic over some realisation of a forking extension.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  5.  34
    Semiotic Theory of Learning: New Perspectives in the Philosophy of Education.Andrew Stables, Winfried Nöth, Alin Olteanu, Sébastien Pesce & Eetu Pikkarainen - 2018 - Lontoo, Yhdistynyt kuningaskunta: Routledge.
    Semiotic Theory of Learning asks what learning is and what brings it about, challenging the hegemony of psychological and sociological constructions of learning in order to develop a burgeoning literature in semiotics as an educational foundation. Drawing on theoretical research and its application in empirical studies, the book attempts to avoid the problematization of the distinction between theory and practice in semiotics. It covers topics such as signs, significance and semiosis; the ontology of learning; the limits of learning; (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  16
    Exact saturation in pseudo-elementary classes for simple and stable theories.Itay Kaplan, Nicholas Ramsey & Saharon Shelah - 2022 - Journal of Mathematical Logic 23 (2).
    We use exact saturation to study the complexity of unstable theories, showing that a variant of this notion called pseudo-elementary class (PC)-exact saturation meaningfully reflects combinatorial dividing lines. We study PC-exact saturation for stable and simple theories. Among other results, we show that PC-exact saturation characterizes the stability cardinals of size at least continuum of a countable stable theory and, additionally, that simple unstable theories have PC-exact saturation at singular cardinals satisfying mild set-theoretic hypotheses. This had previously (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7.  30
    After postmodernism in educational theory?Andrew Stables - 2018 - Educational Philosophy and Theory 50 (14):1568-1569.
  8. Stable theories with a new predicate.Enrique Casanovas & Martin Ziegler - 2001 - Journal of Symbolic Logic 66 (3):1127-1140.
  9.  20
    Edusemiotics: Semiotic Philosophy as Educational Foundation.Andrew Stables & Inna Semetsky - 2014 - New York: Routledge. Edited by Inna Semetsky.
    _Edusemiotics_ addresses an emerging field of inquiry, educational semiotics, as a philosophy of and for education. Using "sign" as a unit of analysis, educational semiotics amalgamates philosophy, educational theory and semiotics. Edusemiotics draws on the intellectual legacy of such philosophers as John Dewey, Charles Sanders Peirce, Gilles Deleuze and others across Anglo-American and continental traditions. This volume investigates the specifics of semiotic knowledge structures and processes, exploring current dilemmas and debates regarding self-identity, learning, transformative and lifelong education, leadership and (...)
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  10.  34
    In Search of the Environmentalist Way: Beyond Mending the Machine.Andrew Stables - 2017 - Educational Theory 67 (4):417-433.
    In this essay, Andrew Stables notes that philosophies such as existentialism, humanism, and environmentalism come in either exploratory or active forms: that is, one can study the nature of existence or the human, or one can ascribe to a way of life in an attempt to improve the world. Among the major influences on active environmentalist thought are humanism, socialism, posthumanism, and post- colonialism. In many cases, however, such ways of thinking can be as damaging or unsuccessful as they may (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  78
    Kueker's conjecture for stable theories.Ehud Hrushovski - 1989 - Journal of Symbolic Logic 54 (1):207-220.
    Kueker's conjecture is proved for stable theories, for theories that interpret a linear ordering, and for theories with Skolem functions. The proof of the stable case involves certain results on coordinatization that are of independent interest.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  12.  14
    Tame Expansions of $\omega$ -Stable Theories and Definable Groups.Haydar Göral - 2019 - Notre Dame Journal of Formal Logic 60 (2):161-194.
    We study groups definable in tame expansions of ω-stable theories. Assuming several tameness conditions, we obtain structural theorems for groups definable and interpretable in these expansions. As our main example, by characterizing independence in the pair, where K is an algebraically closed field and G is a multiplicative subgroup of K× with the Mann property, we show that the pair satisfies the assumptions. In particular, this provides a characterization of definable and interpretable groups in in terms of algebraic groups (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  71
    Who drew the sky? Conflicting assumptions in environmental education.Andrew Stables - 2001 - Educational Philosophy and Theory 33 (2):245–256.
  14. Weight ω in stable theories with few types.Bernhard Herwig - 1995 - Journal of Symbolic Logic 60 (2):353-373.
    We construct a type p with preweight ω with respect to itself in a theory with few types. A type with this property must be present in a stable theory with finitely many (but more than one) countable models. The construction is a modification of Hrushovski's important pseudoplane construction.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  15.  81
    Environmental education and the discourses of humanist modernity: Redefining critical environmental literacy.Andrew Stables & William Scott - 1999 - Educational Philosophy and Theory 31 (2):145–155.
  16. Notes on Contributors_724 812.. 811.Andrew Stables & Janis John Talivaldis Ozolinš - 2010 - Educational Philosophy and Theory 42 (7).
     
    Export citation  
     
    Bookmark  
  17.  46
    Expansions of models of ω-stable theories.Steven Buechler - 1984 - Journal of Symbolic Logic 49 (2):470-477.
    We prove that every relation-universal model of an ω-stable theory is saturated. We also show there is a large class of ω-stable theories for which every resplendent model is homogeneous.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  18.  42
    Multi-cardinal phenomena in stable theories.Timothy Bays - manuscript
    In this dissertation we study two-cardinal phenomena—both of the admitting cardinals variety and of the Chang’s Conjecture variety—under the assumption that all our models have stable theories. All our results involve two, relatively widely accepted generalizations of the traditional definitions in this area. First, we allow the relevant subsets of our models to be picked out by (perhaps infinitary) partial types; second we consider δ-cardinal problems as well as two-cardinal problems.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  19.  45
    The Song of the Earth: A pragmatic rejoinder.Andrew Stables - 2010 - Educational Philosophy and Theory 42 (7):796-807.
    In The Song of the Earth, Jonathan Bate promotes ‘ecopoesis’, contrasting it with ‘ecopolitical’ poetry (and by implication, other forms of writing and expression). Like others recently, including Simon James and Michael Bonnett, he appropriates the notion of ‘dwelling’ from Heidegger to add force to this distinction. Bate's argument is effectively that we have more chance of protecting the environment if we engage in ecopoetic activity, involving a sense of immediate response to nature, than if we do not. This has (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  20.  45
    Regular types in nonmultidimensional ω-stable theories.Anand Pillay - 1984 - Journal of Symbolic Logic 49 (3):880-891.
    We define a hierarchy on the regular types of an ω-stable nonmultidimensional theory, using generalised notions of algebraic and strongly minimal formulae. As an application we show that any resplendent model of an ω-stable finite-dimensional theory is saturated.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  21.  58
    Spectra of ω‐Stable Theories.A. H. Lachlan - 1978 - Mathematical Logic Quarterly 24 (9-11):129-139.
  22.  29
    Some Basic Results in the Theory of ω-Stable Theories.Williams K. Forrest - 1979 - Mathematical Logic Quarterly 25 (33):513-520.
    Direct download  
     
    Export citation  
     
    Bookmark  
  23.  48
    An Old Friend Revisited: Countable Models of ω-Stable Theories.Michael C. Laskowski - 2007 - Notre Dame Journal of Formal Logic 48 (1):133-141.
    We work in the context of ω-stable theories. We obtain a natural, algebraic equivalent of ENI-NDOP and discuss recent joint proofs with Shelah that if an ω-stable theory has either ENI-DOP or is ENI-NDOP and is ENI-deep, then the set of models of T with universe ω is Borel complete.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  24.  11
    Decidable models of ω-stable theories.Uri Andrews - 2014 - Journal of Symbolic Logic 79 (1):186-192.
  25.  93
    Lost in Space? Located in place: Geo‐phenomenological exploration and school.Ruyu Hung & Andrew Stables - 2011 - Educational Philosophy and Theory 43 (2):193-203.
    This paper aims at revealing the various meanings of schools as more than built physical environments from a geographical-phenomenological (or ‘geo-phenomenological’) perspective. This paper consists of five sections: the first explicates the meaning of ‘geo-phenomenology’; the second reveals the meaning of ‘environment’ and a dialectics of strangeness and intimacy through geo-phenomenological analysis; the third examines the meanings of environment as ‘space’ and ‘place’ and the act of naming as the process of constructing meaning between humans and environment; the fourth section (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  26.  66
    Groupoids, covers, and 3-uniqueness in stable theories.John Goodrick & Alexei Kolesnikov - 2010 - Journal of Symbolic Logic 75 (3):905-929.
    Building on Hrushovski's work in [5], we study definable groupoids in stable theories and their relationship with 3-uniqueness and finite internal covers. We introduce the notion of retractability of a definable groupoid (which is slightly stronger than Hrushovski's notion of eliminability), give some criteria for when groupoids are retractable, and show how retractability relates to both 3-uniqueness and the splitness of finite internal covers. One application we give is a new direct method of constructing non-eliminable groupoids from witnesses to (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  27.  46
    (1 other version)Can we experience nature in the lifeworld? An interrogation of Husserl's notion of lifeworld and its implication for environmental and educational thinking.Ruyu Hung & Andrew Stables - 2008 - Indo-Pacific Journal of Phenomenology: Phenomenology and Education: Special Edition 8:1-8.
    Given the tendency for the "lifeworld approach" to be adopted in the domain of environmental theory and education without critical examination of the key concept "lifeworld", this paper attempts to elucidate the ambiguity apparent in Husserl's development of the notion and the implications of this for teaching and learning about nature. The paper consists of three sections. The first section deals with the meaning and limitations of the current lifeworld approach to nature and the implications for environmental and educational (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  28.  43
    Teachers' Beliefs and Practices in Relation to their Beliefs about Questioning at Key Stage 2.Cigdem Sahin, Kate Bullock & Andrew Stables - 2002 - Educational Studies 28 (4):371-384.
    This study examines the relationship between teachers' beliefs and their practices at Key Stage 2 (ages 7-11) in relation to the use of questioning. Data were collected from interviewing and observing Key Stage 2 teachers at four schools in the West of England. A Straussian approach to grounded theory is followed broadly in order to analyse the data. In contrast to the findings of previous studies, which suggested a mismatch between teachers' beliefs and practices in that teachers, in certain (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29.  5
    The Tarski–Lindenbaum algebra of the class of strongly constructivizable models with $$\omega $$-stable theories.Mikhail Peretyat’kin - 2025 - Archive for Mathematical Logic 64 (1):67-78.
    We study the class of all strongly constructivizable models having $$\omega $$ -stable theories in a fixed finite rich signature. It is proved that the Tarski–Lindenbaum algebra of this class considered together with a Gödel numbering of the sentences is a Boolean $$\Sigma ^1_1$$ -algebra whose computable ultrafilters form a dense subset in the set of all ultrafilters; moreover, this algebra is universal with respect to the class of all Boolean $$\Sigma ^1_1$$ -algebras. This gives a characterization to the (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  30.  30
    Comparing Borel Reducibility and Depth of an ω-Stable Theory.Martin Koerwien - 2009 - Notre Dame Journal of Formal Logic 50 (4):365-380.
    In "A proof of Vaught's conjecture for ω-stable theories," the notions of ENI-NDOP and eni-depth have been introduced, which are variants of the notions of NDOP and depth known from Shelah's classification theory. First, we show that for an ω-stable first-order complete theory, ENI-NDOP allows tree decompositions of countable models. Then we discuss the relationship between eni-depth and the complexity of the isomorphism relation for countable models of such a theory in terms of Borel reducibility (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  31.  46
    Type-amalgamation properties and polygroupoids in stable theories.John Goodrick, Byunghan Kim & Alexei Kolesnikov - 2015 - Journal of Mathematical Logic 15 (1):1550004.
    We show that in a stable first-order theory, the failure of higher dimensional type amalgamation can always be witnessed by algebraic structures that we call n-ary polygroupoids. This generalizes a result of Hrushovski in [16] that failures of 4-amalgamation are witnessed by definable groupoids. The n-ary polygroupoids are definable in a mild expansion of the language.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  32.  37
    Shelah S.. Stable theories. Israel journal of mathematics, vol. 7 , pp. 187–202.Shelah Saharon. Stability, the f.c.p., and superstability; model theoretic properties of formulas in first order theory. Annals of mathematical logic, vol. 3 no. 3 , pp. 271–362. [REVIEW]John T. Baldwin - 1973 - Journal of Symbolic Logic 38 (4):648-649.
  33.  61
    Closed sets and chain conditions in stable theories.Anand Pillay & Gabriel Srour - 1984 - Journal of Symbolic Logic 49 (4):1350-1362.
  34.  37
    Dependence logic in pregeometries and ω-stable theories.Gianluca Paolini & Jouko Väänänen - 2016 - Journal of Symbolic Logic 81 (1):32-55.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  35.  39
    On the class of flat stable theories.Daniel Palacín & Saharon Shelah - 2018 - Annals of Pure and Applied Logic 169 (8):835-849.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  36.  92
    (1 other version)Countable models of nonmultidimensional ℵ0-stable theories.Elisabeth Bouscaren & Daniel Lascar - 1983 - Journal of Symbolic Logic 48 (1):377 - 383.
  37.  30
    Homology groups of types in stable theories and the Hurewicz correspondence.John Goodrick, Byunghan Kim & Alexei Kolesnikov - 2017 - Annals of Pure and Applied Logic 168 (9):1710-1728.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  38.  18
    Cantor-Bendixson spectra of "w"-stable theories.Carlo Toffalori - 1987 - Notre Dame Journal of Formal Logic 28:259-275.
  39.  95
    Stable and Unstable Theories of Truth and Syntax.Beau Madison Mount & Daniel Waxman - 2021 - Mind 130 (518):439-473.
    Recent work on formal theories of truth has revived an approach, due originally to Tarski, on which syntax and truth theories are sharply distinguished—‘disentangled’—from mathematical base theories. In this paper, we defend a novel philosophical constraint on disentangled theories. We argue that these theories must be epistemically stable: they must possess an intrinsic motivation justifying no strictly stronger theory. In a disentangled setting, even if the base and the syntax theory are individually stable, they may be (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  40.  17
    Maximal Stable Quotients of Invariant Types in Nip Theories.Krzysztof Krupiński & Adrián Portillo - forthcoming - Journal of Symbolic Logic:1-25.
    For a NIP theory T, a sufficiently saturated model ${\mathfrak C}$ of T, and an invariant (over some small subset of ${\mathfrak C}$ ) global type p, we prove that there exists a finest relatively type-definable over a small set of parameters from ${\mathfrak C}$ equivalence relation on the set of realizations of p which has stable quotient. This is a counterpart for equivalence relations of the main result of [2] on the existence of maximal stable quotients (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  66
    Stable types in rosy theories.Assaf Hasson & Alf Onshuus - 2010 - Journal of Symbolic Logic 75 (4):1211-1230.
    We study the behaviour of stable types in rosy theories. The main technical result is that a non-þ-forking extension of an unstable type is unstable. We apply this to show that a rosy group with a þ-generic stable type is stable. In the context of super-rosy theories of finite rank we conclude that non-trivial stable types of U þ -rank 1 must arise from definable stable sets.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  42.  53
    Elimination of Hyperimaginaries and Stable Independence in Simple CM-Trivial Theories.D. Palacín & F. O. Wagner - 2013 - Notre Dame Journal of Formal Logic 54 (3-4):541-551.
    In a simple CM-trivial theory every hyperimaginary is interbounded with a sequence of finitary hyperimaginaries. Moreover, such a theory eliminates hyperimaginaries whenever it eliminates finitary hyperimaginaries. In a supersimple CM-trivial theory, the independence relation is stable.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  43.  37
    On generically stable types in dependent theories.Alexander Usvyatsov - 2009 - Journal of Symbolic Logic 74 (1):216-250.
    We develop the theory of generically stable types, independence relation based on nonforking and stable weight in the context of dependent theories.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  44. Définissabilité dans les théories stables.D. Lascar - 1975 - Logique Et Analyse 18 (71):489.
    No categories
     
    Export citation  
     
    Bookmark  
  45. The prolegomens to theory of human stable evolutionarciety at age of controlled evolution techny strategy as ideology of risk soologies.V. T. Cheshko - 2016 - In Teodor N. Țîrdea, // Strategia supravietuirii din perspectiva bioeticii, filosofiei și medicinei. Culegere de articole științifice. Vol. 22–. pp. 134-139.
    Stable adaptive strategy of Homo sapiens (SESH) is a superposition of three different adaptive data arrays: biological, socio-cultural and technological modules, based on three independent processes of generation and replication of an adaptive information – genetic, socio-cultural and symbolic transmissions (inheritance). Third component SESH focused equally to the adaptive transformation of the environment and carrier of SESH. With the advent of High Hume technology, risk has reached the existential significance level. The existential level of technical risk is, by definition, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46. On Gupta-Belnap revision theories of truth, Kripkean fixed points, and the next stable set.P. D. Welch - 2001 - Bulletin of Symbolic Logic 7 (3):345-360.
    We consider various concepts associated with the revision theory of truth of Gupta and Belnap. We categorize the notions definable using their theory of circular definitions as those notions universally definable over the next stable set. We give a simplified account of varied revision sequences-as a generalised algorithmic theory of truth. This enables something of a unification with the Kripkean theory of truth using supervaluation schemes.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  47.  34
    The universality spectrum of stable unsuperstable theories.Menachem Kojman & Saharon Shelah - 1992 - Annals of Pure and Applied Logic 58 (1):57-72.
    Kojman, M. and S. Shelah, The universality spectrum of stable unsuperstable theories, Annals of Pure and Applied Logic 58 57–72. It is shown that if T is stable unsuperstable, and 1 [brvbar]T[brvbar], T stable and κ<κ then there is a universal tree of height κ + 1 in cardinality λ.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  48. A unified quantum theory of mechanics and thermodynamics. Part IIb. Stable equilibrium states.George N. Hatsopoulos & Elias P. Gyftopoulos - 1976 - Foundations of Physics 6 (4):439-455.
    Part IIb presents some of the most important theorems for stable equilibrium states that can be deduced from the four postulates of the unified theory presented in Part I. It is shown for the first time that the canonical and grand canonical distributions are the only distributions that are stable. Moreover, it is shown that reversible adiabatic processes exist which cannot be described by the dynamical equation of quantum mechanics. A number of conditions are discussed that must (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  49.  63
    Reducts of Stable, CM-Trivial Theories.Herwig Nübling - 2005 - Journal of Symbolic Logic 70 (4):1025 - 1036.
    We show that every reduct of a stable. CM-trivial theory of finite U-rank is CM-trivial.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  50.  28
    A note on stable sets, groups, and theories with NIP.Alf Onshuus & Ya'acov Peterzil - 2007 - Mathematical Logic Quarterly 53 (3):295-300.
    Let M be an arbitrary structure. Then we say that an M -formula φ defines a stable set inM if every formula φ ∧ α is stable. We prove: If G is an M -definable group and every definable stable subset of G has U -rank at most n , then G has a maximal connected stable normal subgroup H such that G /H is purely unstable. The assumptions hold for example if M is interpretable in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 982