Results for 'ω‐stable theory'

1000+ found
Order:
  1.  9
    Environmental Education and the Discourses of Humanist Modernity: redefining critical environmental literacy.William Scott Andrew Stables - 1999 - Educational Philosophy and Theory 31 (2):145-155.
  2.  15
    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  
  3.  28
    Who drew the sky? Conflicting assumptions in environmental education.Andrew Stables - 2001 - Educational Philosophy and Theory 33 (2):245–256.
  4.  19
    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  
  5.  13
    Who Drew the Sky? Conflicting assumptions in environmental education.Andrew Stables - 2001 - Educational Philosophy and Theory 33 (2):245-256.
  6.  53
    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.
  7.  20
    After postmodernism in educational theory?Andrew Stables - 2018 - Educational Philosophy and Theory 50 (14):1568-1569.
  8.  27
    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  
  9.  24
    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  
  10. Notes on Contributors_724 812.. 811.Andrew Stables & Janis John Talivaldis Ozolinš - 2010 - Educational Philosophy and Theory 42 (7).
     
    Export citation  
     
    Bookmark  
  11.  61
    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  
  12.  13
    Lost in Space? Located in place: Geo‐phenomenological exploration and school.Andrew Stables Ruyu Hung - 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  
     
    Export citation  
     
    Bookmark   2 citations  
  13.  23
    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  
  14.  37
    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  
  15.  38
    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 8 (sup1):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 (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  16. Stable theories with a new predicate.Enrique Casanovas & Martin Ziegler - 2001 - Journal of Symbolic Logic 66 (3):1127-1140.
  17. Stable Theories with a New Predicate.Enrique Casanovas & Martin Ziegler - 2001 - Journal of Symbolic Logic 66 (3):1127-1140.
     
    Export citation  
     
    Bookmark   5 citations  
  18.  12
    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  
  19.  21
    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  
  20.  35
    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  
  21. 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  
  22.  55
    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  
  23. 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  
  24.  8
    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 in (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  5
    Decidable models of ω-stable theories.Uri Andrews - 2014 - Journal of Symbolic Logic 79 (1):186-192.
  26.  29
    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  
  27.  8
    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  
  28.  18
    Review: S. Shelah, Stable Theories; Saharon Shelah, Stability, the F.C.P., and Superstability; Model Theoretic Properties of Formulas in First Order Theory[REVIEW]John T. Baldwin - 1973 - Journal of Symbolic Logic 38 (4):648-649.
  29.  28
    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  
  30.  16
    Spectra of ω‐Stable Theories.A. H. Lachlan - 1978 - Mathematical Logic Quarterly 24 (9‐11):129-139.
  31.  26
    Spectra of ω‐Stable Theories.A. H. Lachlan - 1978 - Mathematical Logic Quarterly 24 (9-11):129-139.
  32.  11
    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.  10
    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 been open (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  34.  25
    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  
  35.  44
    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 the (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  36.  28
    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  
  37.  47
    Countable models of nonmultidimensional ℵ0-stable theories.Elisabeth Bouscaren & Daniel Lascar - 1983 - Journal of Symbolic Logic 48 (1):377 - 383.
  38.  22
    Countable models of nonmultidimensional ℵ0-stable theories.Elisabeth Bouscaren & Daniel Lascar - 1983 - Journal of Symbolic Logic 48 (1):197-205.
  39.  18
    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 as introduced (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  40.  5
    Cantor-Bendixson spectra of "w"-stable theories.Carlo Toffalori - 1987 - Notre Dame Journal of Formal Logic 28:259-275.
  41.  9
    Countable Models of Multidimensional $aleph_0$-Stable Theories.Elisabeth Bouscaren - 1983 - Journal of Symbolic Logic 48 (2):377-383.
  42.  43
    Closed sets and chain conditions in stable theories.Anand Pillay & Gabriel Srour - 1984 - Journal of Symbolic Logic 49 (4):1350-1362.
  43.  20
    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  
  44.  23
    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  
  45.  14
    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  
  46.  23
    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  
  47.  69
    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 jointly unstable. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  48.  3
    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 of type-definable (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  44
    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  
  50. 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 (ed.), // 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, an (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000