84 found
Sort by:
Disambiguations:
John T. Baldwin [47]John W. Baldwin [17]John Baldwin [12]John D. Baldwin [8]
  1. John D. Baldwin (forthcoming). Mead and Skinner: Agency and Determinism. Behaviorism.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. John T. Baldwin & Saharon Shelah (2014). A Hanf Number for Saturation and Omission: The Superstable Case. Mathematical Logic Quarterly 60 (6):437-443.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  3. John Baldwin, Johanna Ny Franklin, C. Ward Henson, Julia F. Knight, Roman Kossak, Dima Sinapova, W. Hugh Woodin & Philip Scowcroft (2013). John B. Hynes Veterans Memorial Convention Center Boston Marriott Hotel, and Boston Sheraton Hotel Boston, MA January 6–7, 2012. [REVIEW] Bulletin of Symbolic Logic 19 (2).
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. 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)  
     
    My bibliography  
     
    Export citation  
  5. John T. Baldwin & Saharon Shelah (2012). The Stability Spectrum for Classes of Atomic Models. Journal of Mathematical Logic 12 (01):1250001-.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  6. Pamela Sheingorn, John W. Baldwin, Jenny Jochens, Fredric L. Cheyette, William J. Courtenay, H. A. Kelly, Luke Wenger, Barbara A. Shailor, Caroline Bacon & Constance Brittain Bouchard (2012). Contributors to the Medieval Academy of America. Speculum 87:991.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  7. 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 (3 more)  
     
    My bibliography  
     
    Export citation  
  8. 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 (4 more)  
     
    My bibliography  
     
    Export citation  
  9. 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. ...
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  10. 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 (4 more)  
     
    My bibliography  
     
    Export citation  
  11. John W. Baldwin (2009). Chris Jones, Eclipse of Empire? Perceptions of the Western Empire and Its Rulers in Late-Medieval France. (Cursor Mundi, 1.) Turnhout: Brepols, 2007. Pp. Xxiv, 415; 4 Black-and-White Figures, 4 Color Plates, 3 Genealogical Tables, and 2 Maps. €80. [REVIEW] Speculum 84 (1):166-167.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  12. 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)  
     
    My bibliography  
     
    Export citation  
  13. 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 (5 more)  
     
    My bibliography  
     
    Export citation  
  14. 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. (Cahiers Lausannois d'Histoire Médiévale, 39.) 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 to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  15. John Baldwin, Lev Beklemishev, Anuj Dawar, Mirna Dzamonja, David Evans, Erich Grädel, Denis Hirschfeldt, Hannes Leitgeb, Roger Maddux & Grigori Mints (2008). Vassar College, 124 Raymond Avenue, Poughkeepsie, Ny 12604, Usa. In a Review, a Reference “Jsl Xliii 148,” for Example, Refers Either to the Publication Reviewed on Page 148 of Volume 43 of the Journal, or to the Review Itself (Which Contains Full Bibliographical Information for the Reviewed Publication). Analogously, a Reference “Bsl VII 376” Refers to the Review Beginning on Page 376 in Volume 7 of This Bulletin, Or. [REVIEW] Bulletin of Symbolic Logic 14 (1).
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  16. 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)  
     
    My bibliography  
     
    Export citation  
  17. John T. Baldwin, Paul C. Eklof & Jan Trlifaj (2007). As an Abstract Elementary Class. Annals of Pure and Applied Logic 149 (1):25-39.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  18. 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
    Translate to English
    | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  19. John T. Baldwin (2006). The Metamathematics of Random Graphs. Annals of Pure and Applied Logic 143 (1):20-28.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  20. John T. Baldwin & Olivier Lessmann (2006). Uncountable Categoricity of Local Abstract Elementary Classes with Amalgamation. Annals of Pure and Applied Logic 143 (1):29-42.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  21. 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)  
     
    My bibliography  
     
    Export citation  
  22. Bektur Baizhanov, John T. Baldwin & Saharon Shelah (2005). Subsets of Superstable Structures Are Weakly Benign. Journal of Symbolic Logic 70 (1):142 - 150.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  23. John W. Baldwin (2005). Maaike van der Lugt, Le Ver, le Démon Et la Vierge: Les Théories Médiévales de la Génération Extraordinaire. Une Étude Sur les Rapports Entre Théologie, Philosophie Naturelle Et Médecine. (L'Ane d'Or, 20.) Paris: Les Belles Lettres, 2004. Paper. Pp. Xiv, 623; 7 Black-and-White Figures. €37. [REVIEW] Speculum 80 (4):1377-1379.
    No categories
    Translate to English
    | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  24. John W. Baldwin (2005). Sharon Farmer, Surviving Poverty in Medieval Paris: Gender, Ideology, and the Daily Lives of the Poor. (Conjunctions of Religion and Power in the Medieval Past.) Ithaca, N.Y., and London: Cornell University Press, 2002. Pp. Xv, 198; 7 Black-and-White Figures and 3 Maps. $35. [REVIEW] Speculum 80 (1):217-219.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  25. John Baldwin, Lev Beklemishev, Michael Hallett, Valentina Harizanov, Steve Jackson, Kenneth Kunen, Angus J. MacIntyre, Penelope Maddy, Joe Miller & Michael Rathjen (2005). Carnegie Mellon University, Pittsburgh, PA May 19–23, 2004. Bulletin of Symbolic Logic 11 (1).
    Direct download  
     
    My bibliography  
     
    Export citation  
  26. 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 (4 more)  
     
    My bibliography  
     
    Export citation  
  27. John Baldwin (2004). Stephen Wolfram. A New Kind of Science, Wolfram Media, Inc., Champaign, IL, 2002, Xiv+ 1197 Pp. [REVIEW] Bulletin of Symbolic Logic 10 (1):112-114.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  28. 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 (7 more)  
     
    My bibliography  
     
    Export citation  
  29. John T. Baldwin (2004). Problems in Set Theory, Mathematical Logic, and the Theory of Algorithms. Bulletin of Symbolic Logic 10 (2):222-223.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  30. John T. Baldwin & Kitty Holland (2004). Constructing Ω-Stable Structures: Model Completeness. Annals of Pure and Applied Logic 125 (1-3):159-172.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  31. John W. Baldwin (2004). Diana Wood, Medieval Economic Thought. (Cambridge Medieval Textbooks.) Cambridge, Eng.: Cambridge University Press, 2002. Pp. Xii, 259. $55 (Cloth); $20 (Paper). [REVIEW] Speculum 79 (4):1180.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  32. 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 (7 more)  
     
    My bibliography  
     
    Export citation  
  33. John T. Baldwin & Kitty Holland (2003). Constructing Ω-Stable Structures: Rank K-Fields. Notre Dame Journal of Formal Logic 44 (3):139-147.
    Theorem: For every k, there is an expansion of the theory of algebraically closed fields (of any fixed characteristic) which is almost strongly minimal with Morley rank k.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  34. John W. Baldwin (2003). Amaury Chauou, L'idéologie Plantagenêt: Royauté arthurienne et monarchie politique dans l'espace Plantagenêt (XIIe-XIIIe siècles). (Histoire.) 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 to English
    | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  35. 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.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  36. 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)  
     
    My bibliography  
     
    Export citation  
  37. 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.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  38. John Baldwin (2000). Finite and Infinite Model Theory-A Historical Perspective. Logic Journal of the Igpl 8 (5):605-628.
    Direct download  
     
    My bibliography  
     
    Export citation  
  39. 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)  
     
    My bibliography  
     
    Export citation  
  40. 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 (11 more)  
     
    My bibliography  
     
    Export citation  
  41. Samson Abramsky, John Baldwin, Craig Boutilier, Daniel Leivant & Francisco Miraglia (1999). National Park of Itatiaia, Rio de Janeiro, Brazil, May 25–28, 1999. Bulletin of Symbolic Logic 5 (3).
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  42. 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 (7 more)  
     
    My bibliography  
     
    Export citation  
  43. John Baldwin (1999). Hrushovski Ehud, A New Strongly Minimal Set, Annals of Pure and Applied Logic, Vol. 62 (1993), Pp. 147–166. Hrushovski Ehud, Strongly Minimal Expansions of Algebraically Closed Fields, Israel Journal of Mathematics, Vol. 79 (1992), Pp. 129–151. [REVIEW] Journal of Symbolic Logic 64 (2):904-905.
    Direct download  
     
    My bibliography  
     
    Export citation  
  44. John Baldwin (1999). Review: Ehud Hrushovski, A New Strongly Minimal Set; Ehud Hrushovski, Strongly Minimal Expansions of Algebraically Closed Fields. [REVIEW] Journal of Symbolic Logic 64 (2):904-905.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  45. 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 (6 more)  
     
    My bibliography  
     
    Export citation  
  46. John T. Baldwin & Saharon Shelah (1998). DOP and FCP in Generic Structures. Journal of Symbolic Logic 63 (2):427-438.
  47. John W. Baldwin (1997). The Image of the Jongleur in Northern France Around 1200. Speculum 72 (3):635-663.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  48. John T. Baldwin & Niandong Shi (1996). Stable Generic Structures. Annals of Pure and Applied Logic 79 (1):1-35.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  49. 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 (5 more)  
     
    My bibliography  
     
    Export citation  
  50. John T. Baldwin & Masanori Itai (1995). E-mail: marat@ niimm. kazan. su. Bulletin of Symbolic Logic 1 (1).
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
1 — 50 / 84