134 found
Order:
  1. John T. Baldwin (1972). Almost Strongly Minimal Theories. II. Journal of Symbolic Logic 37 (4):657-660.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography  
  2. John W. Baldwin (1991). Five Discourses on Desire: Sexuality and Gender in Northern France Around 1200. Speculum 66 (4):797-819.
    When we think of desire in the Middle Ages we immediately recall the religious exhortation to love God and despise the flesh. My present subject is not the desire for God but the less sublime theme of sexual desire, however the two may have been linked. Sexual desire was a central intellectual concern for medieval thinkers despite their reputed aversion to the subject. It was not, for example, the trifunctional schema of modern celebrity — oratores, bellatores, laboratores — that was (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  3. Roman D. Aref'ev, John T. Baldwin & Marco Mazzucco (1999). Classification of Δ-Invariant Amalgamation Classes. Journal of Symbolic Logic 64 (4):1743-1750.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  4. John Baldwin, D. A. Martin, Robert I. Soare & W. W. Tait (1976). Meeting of the Association for Symbolic Logic. Journal of Symbolic Logic 41 (2):551-560.
  5.  3
    John T. Baldwin (2009). Categoricity. American Mathematical Society.
    CHAPTER 1 Combinatorial Geometries and Infinitary Logics In this chapter we introduce two of the key concepts that are used throughout the text. ...
    Direct download  
     
    Export citation  
     
    My bibliography   5 citations  
  6. John T. Baldwin & Niandong Shi (1996). Stable Generic Structures. Annals of Pure and Applied Logic 79 (1):1-35.
    Hrushovski originated the study of “flat” stable structures in constructing a new strongly minimal set and a stable 0-categorical pseudoplane. We exhibit a set of axioms which for collections of finite structure with dimension function δ give rise to stable generic models. In addition to the Hrushovski examples, this formalization includes Baldwin's almost strongly minimal non-Desarguesian projective plane and several others. We develop the new case where finite sets may have infinite closures with respect to the dimension function δ. In (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   20 citations  
  7. John T. Baldwin (1972). Almost Strongly Minimal Theories. I. Journal of Symbolic Logic 37 (3):487-493.
    Direct download (9 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  8.  1
    John Baldwin, David Kueker & Monica VanDieren (2006). Upward Stability Transfer for Tame Abstract Elementary Classes. Notre Dame Journal of Formal Logic 47 (2):291-298.
    Grossberg and VanDieren have started a program to develop a stability theory for tame classes. We name some variants of tameness and prove the following. Let K be an AEC with Löwenheim-Skolem number ≤κ. Assume that K satisfies the amalgamation property and is κ-weakly tame and Galois-stable in κ. Then K is Galois-stable in κ⁺ⁿ for all n<ω. With one further hypothesis we get a very strong conclusion in the countable case. Let K be an AEC satisfying the amalgamation property (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  9.  12
    John T. Baldwin (2012). Formalization, Primitive Concepts, and Purity. Review of Symbolic Logic 1 (1):1-42.
    We emphasize the role of the choice of vocabulary in formalization of a mathematical area and remark that this is a particular preoccupation of logicians. We use this framework to discuss Kennedyformalism freenessspatial contents through algebra, of the embedding theorem.
    No categories
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  10.  4
    John T. Baldwin (1984). First-Order Theories of Abstract Dependence Relations. Annals of Pure and Applied Logic 26 (3):215-243.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   8 citations  
  11.  10
    John T. Baldwin & Masanori Itai (1994). K‐Generic Projective Planes Have Morley Rank Two or Infinity. Mathematical Logic Quarterly 40 (2):143-152.
    We show that K-generic projective planes have Morley rank either two or infinity. We also show give a direct argument that such planes are not Desarguesian.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  12.  1
    John Baldwin & Olivier Lessmann (2002). Amalgamation Properties and Finite Models in Ln-Theories. Archive for Mathematical Logic 41 (2):155-167.
    Djordjević [Dj 1] proved that under natural technical assumptions, if a complete L n -theory is stable and has amalgamation over sets, then it has arbitrarily large finite models. We extend his study and prove the existence of arbitrarily large finite models for classes of models of L n -theories (maybe omitting types) under weaker amalgamation properties. In particular our analysis covers the case of vector spaces.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  13.  10
    John T. Baldwin & Saharon Shelah (2008). Examples of Non-Locality. Journal of Symbolic Logic 73 (3):765-782.
    We use κ-free but not Whitehead Abelian groups to constructElementary Classes (AEC) which satisfy the amalgamation property but fail various conditions on the locality of Galois-types. We introduce the notion that an AEC admits intersections. We conclude that for AEC which admit intersections, the amalgamation property can have no positive effect on locality: there is a transformation of AEC's which preserves non-locality but takes any AEC which admits intersections to one with amalgamation. More specifically we have: Theorem 5.3. There is (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  14.  3
    John T. Baldwin & Kitty Holland (2004). Constructing Ω-Stable Structures: Model Completeness. Annals of Pure and Applied Logic 125 (1-3):159-172.
    The projective plane of Baldwin 695) is model complete in a language with additional constant symbols. The infinite rank bicolored field of Poizat 1339) is not model complete. The finite rank bicolored fields of Baldwin and Holland 371; Notre Dame J. Formal Logic , to appear) are model complete. More generally, the finite rank expansions of a strongly minimal set obtained by adding a ‘random’ unary predicate are almost strongly minimal and model complete provided the strongly minimal set is ‘well-behaved’ (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  15.  23
    John T. Baldwin & Kitty Holland (2000). Constructing Ω-Stable Structures: Rank 2 Fields. Journal of Symbolic Logic 65 (1):371-391.
    We provide a general framework for studying the expansion of strongly minimal sets by adding additional relations in the style of Hrushovski. We introduce a notion of separation of quantifiers which is a condition on the class of expansions of finitely generated models for the expanded theory to have a countable ω-saturated model. We apply these results to construct for each sufficiently fast growing finite-to-one function μ from 'primitive extensions' to the natural numbers a theory T μ of an expansion (...)
    Direct download (12 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  16.  4
    John T. Baldwin (1978). Some EC∑ Classes of Rings. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (31-36):489-492.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  17.  6
    John T. Baldwin & Saharon Shelah (2001). Model Companions of $T_{\Rm Aut}$ for Stable T. Notre Dame Journal of Formal Logic 42 (3):129-142.
    We introduce the notion T does not omit obstructions. If a stable theory does not admit obstructions then it does not have the finite cover property . For any theory T, form a new theory $T_{\rm Aut}$ by adding a new unary function symbol and axioms asserting it is an automorphism. The main result of the paper asserts the following: If T is a stable theory, T does not admit obstructions if and only if $T_{\rm Aut}$ has a model companion. (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  18.  10
    John Baldwin (2000). Finite and Infinite Model Theory-A Historical Perspective. Logic Journal of the IGPL 8 (5):605-628.
    We describe the progress of model theory in the last half century from the standpoint of how finite model theory might develop.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  19.  2
    John T. Baldwin & Saharon Shelah (1998). DOP and FCP in Generic Structures. Journal of Symbolic Logic 63 (2):427-438.
  20.  2
    John T. Baldwin & Paul B. Larson (2016). Iterated Elementary Embeddings and the Model Theory of Infinitary Logic. Annals of Pure and Applied Logic 167 (3):309-334.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  21.  4
    John T. Baldwin, Alexei Kolesnikov & Saharon Shelah (2009). The Amalgamation Spectrum. Journal of Symbolic Logic 74 (3):914-928.
    We study when classes can have the disjoint amalgamation property for a proper initial segment of cardinals. Theorem A For every natural number k, there is a class $K_k $ defined by a sentence in $L_{\omega 1.\omega } $ that has no models of cardinality greater than $ \supset _{k - 1} $ , but $K_k $ has the disjoint amalgamation property on models of cardinality less than or equal to $\mathfrak{N}_{k - 3} $ and has models of cardinality $\mathfrak{N}_{k (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  22.  2
    John T. Baldwin, Paul C. Eklof & Jan Trlifaj (2007). As an Abstract Elementary Class. Annals of Pure and Applied Logic 149 (1):25-39.
    In this paper we study abstract elementary classes of modules. We give several characterizations of when the class of modules A with is abstract elementary class with respect to the notion that M1 is a strong submodel M2 if the quotient remains in the given class.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  23.  3
    John T. Baldwin (2003). Expansions of Geometries. Journal of Symbolic Logic 68 (3):803-827.
    For $n < \omega$ , expand the structure (n, S, I, F) (with S the successor relation, I, F as the initial and final element) by forming graphs with edge probability n-α for irrational α, with $0 < \alpha < 1$ . The sentences in the expanded language, which have limit probability 1, form a complete and stable theory.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  24.  5
    John W. Baldwin (2007). Rigord, Histoire de Philippe Auguste, Ed. And Trans, (Into French) Élisabeth Carpentier, Georges Pon, and Yves Chauvin (†). (Sources d'Histoire Médiévale, 33.) Paris: CNRS Editions, 2006. Pp. 503; Tables. [REVIEW] Speculum 82 (3):757-758.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  25.  11
    John T. Baldwin, Rami Grossberg & Saharon Shelah (1999). Transfering Saturation, the Finite Cover Property, and Stability. Journal of Symbolic Logic 64 (2):678-684.
    $\underline{\text{Saturation is} (\mu, \kappa)-\text{transferable in} T}$ if and only if there is an expansion T 1 of T with ∣ T 1 ∣ = ∣ T ∣ such that if M is a μ-saturated model of T 1 and ∣ M ∣ ≥ κ then the reduct M ∣ L(T) is κ-saturated. We characterize theories which are superstable without f.c.p., or without f.c.p. as, respectively those where saturation is (ℵ 0 , λ)- transferable or (κ (T), λ)-transferable for all λ. (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  26.  9
    John Baldwin, Matt Kaufmann & Julia F. Knight (1985). Meeting of the Association for Symbolic Logic: Notre Dame, Indiana, 1984. Journal of Symbolic Logic 50 (1):284-286.
  27.  19
    John T. Baldwin & Saharon Shelah (2012). The Stability Spectrum for Classes of Atomic Models. Journal of Mathematical Logic 12 (01):1250001-.
  28.  3
    John W. Baldwin (1986). Georges Duby, Guillaume le Maréchal ou le meilleur chevalier du monde. (Les Inconnus de l'Histoire.) Paris: Arthème Fayard, 1984. Paper. Pp. 190. F 69. [REVIEW] Speculum 61 (3):640-642.
    No categories
    Translate
      Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  29.  3
    John W. Baldwin, Elizabeth Ar Brown & Fredric L. Cheyette (2011). Memoirs of Fellows and Corresponding Fellows of the Medieval Academy of America: Bernard Guenée. Speculum 86 (3):863-865.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  30.  3
    John W. Baldwin (1997). The Image of the Jongleur in Northern France Around 1200. Speculum 72 (3):635-663.
    In the pages of the Latin chroniclers writing around 1200 the jongleur appears as a gray, furtive shadow. His existence was acknowledged by the broad term joculator, but his functions were too suspect to deserve further comment. The clerical chroniclers associated jongleurs with other lay activities, such as making love, admiring feminine beauty, holding festivities, and fighting in tournaments, about which the less said, the better. In contemporary vernacular literature, however, the jongleur's image springs into sharp focus and takes on (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  31.  7
    John T. Baldwin & Saharon Shelah (2001). Model Companions of for Stable T. Notre Dame Journal of Formal Logic 42 (3):129-142.
    We introduce the notion T does not omit obstructions. If a stable theory does not admit obstructions then it does not have the finite cover property (nfcp). For any theory T, form a new theory by adding a new unary function symbol and axioms asserting it is an automorphism. The main result of the paper asserts the following: If T is a stable theory, T does not admit obstructions if and only if has a model companion. The proof involves some (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  32.  7
    John D. Baldwin (1995). Continua Outperform Dichotomies. Behavioral and Brain Sciences 18 (3):543-544.
    Mealey's data do not support her dichotomous model of primary and secondary sociopathy; this data supports the view that there is a continuum of degrees of sociopathy, from zero to the maximal manifestation. There are multitudes of factors that can contribute to sociopathy and the countless different mixes of them can produce multiple degrees and variations of sociopathic behavior.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  33.  1
    John T. Baldwin & Leo Harrington (1987). Trivial Pursuit: Remarks on the Main Gap. Annals of Pure and Applied Logic 34 (3):209-230.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  34.  6
    G. Ahlbrandt & John T. Baldwin (1988). Categoricity and Generalized Model Completeness. Archive for Mathematical Logic 27 (1):1-4.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  35.  3
    John T. Baldwin & David W. Keuker (1981). Algebraically Prime Models. Annals of Mathematical Logic 20 (3):289-330.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  36.  13
    Daniel Halpern, William Tait & John T. Baldwin (1981). Meeting of the Association for Symbolic Logic: Biloxi, 1979. Journal of Symbolic Logic 46 (1):191-198.
  37.  5
    Elizabeth Ar Brown, Jean Favier & John W. Baldwin (2011). Memoirs of Fellows and Corresponding Fellows of the Medieval Academy of America: Robert-Henri Bautier. Speculum 86 (3):858-859.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  38.  5
    John D. Baldwin (1982). The Nature-Nurture Error Again. Behavioral and Brain Sciences 5 (1):155.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  39.  5
    John W. Baldwin (2003). Amaury Chauou, L'idéologie Plantagenêt: Royauté Arthurienne Et Monarchie Politique Dans l'Espace Plantagenêt . Rennes: Presses Universitaires de Rennes, 2001. Paper. Pp. Iv, 324; 1 Black-and-White Figure, Tables, and Maps. [REVIEW] Speculum 78 (3):854-856.
    No categories
    Translate
      Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  40.  18
    John T. Baldwin (2004). Notes on Quasiminimality and Excellence. Bulletin of Symbolic Logic 10 (3):334-366.
    This paper ties together much of the model theory of the last 50 years. Shelah's attempts to generalize the Morley theorem beyond first order logic led to the notion of excellence, which is a key to the structure theory of uncountable models. The notion of Abstract Elementary Class arose naturally in attempting to prove the categoricity theorem for L ω 1 ,ω (Q). More recently, Zilber has attempted to identify canonical mathematical structures as those whose theory (in an appropriate logic) (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography  
  41.  5
    John D. Baldwin (2000). Let's Go All the Way – and Include Operant and Observational Learning. Behavioral and Brain Sciences 23 (2):249-250.
    If biologists are going to incorporate learning into theories of animal behavior, why not go all the way and incorporate the enormous literatures on Pavlovian conditioning, plus those on operant and observational learning?
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  42.  2
    John T. Baldwin (2004). Problems in Set Theory, Mathematical Logic, and the Theory of Algorithms. Bulletin of Symbolic Logic 10 (2):222-223.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  43.  2
    John W. Baldwin (2008). Prisca Lehmann, La Répression des Délits Sexuels Dans les États Savoyards: Ch'tellenies des Diocèses d'Aoste, Sion Et Turin, Fin XIIIe-XVe Siècle. Lausanne: Section d'Histoire, Université de Lausanne, 2006. Paper. Pp. 409; 18 Black-and-White and Color Figures. SFr 36. [REVIEW] Speculum 83 (2):456-457.
    No categories
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  44.  11
    John T. Baldwin & Joel Berman (1977). A Model Theoretic Approach to Malcev Conditions. Journal of Symbolic Logic 42 (2):277-288.
  45.  12
    John T. Baldwin (1990). The Spectrum of Resplendency. Journal of Symbolic Logic 55 (2):626-636.
    Let T be a complete countable first order theory and λ an uncountable cardinal. Theorem 1. If T is not superstable, T has 2 λ resplendent models of power λ. Theorem 2. If T is strictly superstable, then T has at least $\min(2^\lambda,\beth_2)$ resplendent models of power λ. Theorem 3. If T is not superstable or is small and strictly superstable, then every resplendent homogeneous model of T is saturated. Theorem 4 (with Knight). For each μ ∈ ω ∪ {ω, (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  46.  16
    John T. Baldwin & Douglas E. Miller (1982). Some Contributions to Definability Theory for Languages with Generalized Quantifiers. Journal of Symbolic Logic 47 (3):572-586.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  47.  11
    Bektur Baizhanov & John T. Baldwin (2004). Local Homogeneity. Journal of Symbolic Logic 69 (4):1243 - 1260.
    We study the expansion of stable structures by adding predicates for arbitrary subsets. Generalizing work of Poizat-Bouscaren on the one hand and Baldwin-Benedikt-Casanovas-Ziegler on the other we provide a sufficient condition (Theorem 4.7) for such an expansion to be stable. This generalization weakens the original definitions in two ways: dealing with arbitrary subsets rather than just submodels and removing the 'small' or 'belles paires' hypothesis. We use this generalization to characterize in terms of pairs, the 'triviality' of the geometry on (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  48.  4
    John T. Baldwin (2006). The Metamathematics of Random Graphs. Annals of Pure and Applied Logic 143 (1):20-28.
    We explain and summarize the use of logic to provide a uniform perspective for studying limit laws on finite probability spaces. This work connects developments in stability theory, finite model theory, abstract model theory, and probability. We conclude by linking this context with work on the Urysohn space.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  49.  4
    John W. Baldwin (2009). M. Cecilia Gaposchkin, The Making of Saint Louis: Kingship, Sanctity, and Crusade in the Later Middle Ages. Ithaca, NY, and London: Cornell University Press, 2008. Pp. Xix, 331; 18 Black-and-White Figures, Tables, 1 Diagram, and Maps. $45. [REVIEW] Speculum 84 (4):1041-1042.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  50.  10
    John T. Baldwin (2007). The Vaught Conjecture: Do Uncountable Models Count? Notre Dame Journal of Formal Logic 48 (1):79-92.
    We give a model theoretic proof, replacing admissible set theory by the Lopez-Escobar theorem, of Makkai's theorem: Every counterexample to Vaught's Conjecture has an uncountable model which realizes only countably many ℒ$_{ω₁,ω}$-types. The following result is new. Theorem: If a first-order theory is a counterexample to the Vaught Conjecture then it has 2\sp ℵ₁ models of cardinality ℵ₁.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 134