Works by Frank Wagner ( view other items matching `Frank Wagner`, view all matches )
Disambiguations:
Frank O. Wagner [19]Frank Wagner [7]

26 found
Sort by:
  1. Barbara Secker, Maya J. Goldenberg, Barbara Gibson, Frank Wagner, Bob Parke, Jonathan Breslin, Alison Thompson, Jonathan Lear & Peter Singer (2006). Just Regionalisation: Rehabilitating Care for People with Disabilities and Chronic Illnesses. BMC Medical Ethics 7 (1):1-13.
    Background Regionalised models of health care delivery have important implications for people with disabilities and chronic illnesses yet the ethical issues surrounding disability and regionalisation have not yet been explored. Although there is ethics-related research into disability and chronic illness, studies of regionalisation experiences, and research directed at improving health systems for these patient populations, to our knowledge these streams of research have not been brought together. Using the Canadian province of Ontario as a case study, we address this gap (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  2. Frank Wagner (2005). Subsimple Groups. Journal of Symbolic Logic 70 (4):1365 - 1370.
    We define a notion of genericity for genericity subgroups of groups interpretable in a simple theory. and show that a type generic for such a group is generic for the minimal hyperdefinable supergroup (the definable hull). In particular, at least one generic type of the definable hull is finitely satisfiable in the original subgroup. If the subgroup is a subfield, then the additive and the multiplicative definable hull both have bounded index in the smallest hyperdefinable superfield.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. Itay Ben-Yaacov, Ivan Tomašić & Frank O. Wagner (2004). Constructing an Almost Hyperdefinable Group. Journal of Mathematical Logic 4 (02):181-212.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  4. Itay Ben-Yaacov & Frank O. Wagner (2004). On Almost Orthogonality in Simple Theories. Journal of Symbolic Logic 69 (2):398 - 408.
    1. We show that if p is a real type which is internal in a set $\sigma$ of partial types in a simple theory, then there is a type p' interbounded with p, which is finitely generated over $\sigma$ , and possesses a fundamental system of solutions relative to $\sigma$ . 2. If p is a possibly hyperimaginary Lascar strong type, almost \sigma-internal$ , but almost orthogonal to $\sigma^{\omega}$ , then there is a canonical non-trivial almost hyperdefinable polygroup which multi-acts (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  5. Frank O. Wagner (2004). Some Remarks on One-Basedness. Journal of Symbolic Logic 69 (1):34-38.
    A type analysable in one-based types in a simple theory is itself one-based.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  6. Ivan Tomašić & Frank O. Wagner (2003). Applications of the Group Configuration Theorem in Simple Theories. Journal of Mathematical Logic 3 (02):239-255.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  7. Itay Ben-Yaacov, Ivan Tomasic & Frank O. Wagner (2002). The Group Configuration in Simple Theories and its Applications. Bulletin of Symbolic Logic 8 (2):283-298.
    In recent work, the authors have established the group configuration theorem for simple theories, as well as some of its main applications from geometric stability theory, such as the binding group theorem, or in the ω-categorical case, the characterization of the forking geometry of a finitely based non-trivial locally modular regular type as projective geometry over a finite field and the equivalence of pseudolinearity and local modularity. The proof necessitated an extension of the model-theoretic framework to include almost hyperimaginaries, and (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  8. Enrique Casanovas & Frank O. Wagner (2002). Local Supersimplicity and Related Concepts. Journal of Symbolic Logic 67 (2):744-758.
    We study local strengthenings of the simplicity condition. In particular, we define and study a local Lascar rank, as well as short, low, supershort and superlow theories. An example of a low, non supershort theory is given.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  9. Ziv Shami & Frank O. Wagner (2002). On the Binding Group in Simple Theories. Journal of Symbolic Logic 67 (3):1016-1024.
    We show that if p is a real type which is almost internal in a formula φ in a simple theory, then there is a type p' interalgebraic with a finite tuple of realizations of p, which is generated over φ. Moreover, the group of elementary permutations of p' over all realizations of φ is type-definable.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  10. Frank Wagner (2001). Fields of Finite Morley Rank. Journal of Symbolic Logic 66 (2):703-706.
    If K is a field of finite Morley rank, then for any parameter set $A \subseteq K^{eq}$ the prime model over A is equal to the model-theoretic algebraic closure of A. A field of finite Morley rank eliminates imaginaries. Simlar results hold for minimal groups of finite Morley rank with infinite acl( $\emptyset$ ).
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  11. Frank Wagner (2001). Hyperdefinable Groups in Simple Theories. Journal of Mathematical Logic 1 (01):125-172.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  12. Oleg Belegradek, Ya'Acov Peterzil & Frank Wagner (2000). Quasi-o-Minimal Structures. Journal of Symbolic Logic 65 (3):1115-1132.
    A structure (M, $ ,...) is called quasi-o-minimal if in any structure elementarily equivalent to it the definable subsets are exactly the Boolean combinations of 0-definable subsets and intervals. We give a series of natural examples of quasi-o-minimal structures which are not o-minimal; one of them is the ordered group of integers. We develop a technique to investigate quasi-o-minimality and use it to study quasi-o-minimal ordered groups (possibly with extra structure). Main results: any quasi-o-minimal ordered group is abelian; any quasi-o-minimal (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  13. David M. Evans & Frank O. Wagner (2000). Supersimple Ω-Categorical Groups and Theories. Journal of Symbolic Logic 65 (2):767-776.
    An ω-categorical supersimple group is finite-by-abelian-by-finite, and has finite SU-rank. Every definable subgroup is commensurable with an acl( $\emptyset$ )-definable subgroup. Every finitely based regular type in a CM-trivial ω-categorical simple theory is non-orthogonal to a type of SU-rank 1. In particular, a supersimple ω-categorical CM-trivial theory has finite SU-rank.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  14. Bruno Poizat & Frank O. Wagner (2000). Liftez Les Sylows! Une Suite à "Sous-Groupes Périodiques d'Un Groupe Stable". Journal of Symbolic Logic 65 (2):703-704.
    If G is an omega-stable group with a normal definable subgroup H, then the Sylow-2-subgroups of G/H are the images of the Sylow-2-subgroups of G. /// Sei G eine omega-stabile Gruppe und H ein definierbarer Normalteiler von G. Dann sind die Sylow-2-Untergruppen von G/H Bilder der Sylow-2-Untergruppen von G.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  15. Frank O. Wagner (2000). Minimal Fields. Journal of Symbolic Logic 65 (4):1833-1835.
    A minimal field of non-zero characteristic is algebraically closed.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  16. Frank O. Wagner (1998). CM-Triviality and Stable Groups. Journal of Symbolic Logic 63 (4):1473-1495.
    We define a generalized version of CM-triviality, and show that in the presence of enough regular types, or solubility, a stable CM-trivial group is nilpotent-by-finite. A torsion-free small CM-trivial stable group is abelian and connected. The first result makes use of a generalized version of the analysis of bad groups.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  17. Frank O. Wagner (1998). Small Fields. Journal of Symbolic Logic 63 (3):995-1002.
    An infinite field with only countably many pure types is algebraically closed.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  18. Frank O. Wagner (1994). A Note on Defining Groups in Stable Structures. Journal of Symbolic Logic 59 (2):575-578.
    If * is a binary partial function which happens to be a group law on some infinite subset of some model of a stable theory, then this subset can be embedded into a definable group such that * becomes the group operation.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  19. Bruno Poizat & Frank Wagner (1993). Sous-Groupes Periodiques d'Un Groupe Stable. Journal of Symbolic Logic 58 (2):385-400.
    We develop a Sylow theory for stable groups satisfying certain additional conditions (2-finiteness, solvability or smallness) and show that their maximal p-subgroups are locally finite and conjugate. Furthermore, we generalize a theorem of Baer-Suzuki on subgroups generated by a conjugacy class of p-elements.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  20. Frank O. Wagner (1993). Stable Groups, Mostly of Finite Exponent. Notre Dame Journal of Formal Logic 34 (2):183-192.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  21. Frank O. Wagner (1993). Quasi-Endomorphisms in Small Stable Groups. Journal of Symbolic Logic 58 (3):1044-1051.
    We generalise various properties of quasiendomorphisms from groups with regular generic to small abelian groups. In particular, for a small abelian group such that no infinite definable quotient is connected-by-finite, the ring of quasi-endomorphisms is locally finite. Under some additional assumptions, it decomposes modulo some nil ideal into a sum of finitely many matrix rings.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  22. Frank O. Wagner (1992). More on ${\Germ R}$. Notre Dame Journal of Formal Logic 33 (2):159-174.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  23. Frank O. Wagner (1992). A Propos E'equations Generiques. Journal of Symbolic Logic 57 (2).
    Direct download  
     
    My bibliography  
     
    Export citation  
  24. Frank O. Wagner (1992). À Propos d'Équations Génériques. Journal of Symbolic Logic 57 (2):548-554.
    We prove that a stable solvable group G which satisfies xn = 1 generically is of finite exponent dividing some power of n. Furthermore, G is nilpotent-by-finite. A second result is that in a stable group of finite exponent, involutions either have big centralisers, or invert a subgroup of finite index (which hence has to be abelian).
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  25. Frank O. Wagner (1991). Small Stable Groups and Generics. Journal of Symbolic Logic 56 (3):1026-1037.
    We define an R-group to be a stable group with the property that a generic element (for any definable transitive group action) can only be algebraic over a generic. We then derive some corollaries for R-groups and fields, and prove a decomposition theorem and a field theorem. As a nonsuperstable example, we prove that small stable groups are R-groups.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  26. Frank Wagner (1990). Subgroups of Stable Groups. Journal of Symbolic Logic 55 (1):151-156.
    We define the notion of generic for an arbitrary subgroup H of a stable group, and show that H has a definable hull with the same generic properties. We then apply this to the theory of stable fields.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation