Results for 'D. Lascar'

980 found
Order:
  1.  7
    Logic Colloquium '80: Papers Intended for the European Summer Meeting of the Association for Symbolic Logic.D. van Dalen, Daniel Lascar, T. J. Smiley & Association for Symbolic Logic - 1982 - North-Holland.
  2. Hyperimaginaries and Automorphism Groups.D. Lascar & A. Pillay - 2001 - Journal of Symbolic Logic 66 (1):127-143.
  3.  18
    Quelques précisions sur la D.o.P. Et la profondeur d'une theorie.D. Lascar - 1985 - Journal of Symbolic Logic 50 (2):316-330.
    We give here alternative definitions for the notions that S. Shelah has introduced in recent papers: the dimensional order property and the depth of a theory. We will also give a proof that the depth of a countable theory, when defined, is an ordinal recursive in T.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  38
    Superstable groups.Ch Berline & D. Lascar - 1986 - Annals of Pure and Applied Logic 30 (1):1-43.
  5. Automorphisms of a strongly minimal set.D. Lascar - 1992 - Journal of Symbolic Logic 57 (1):238-251.
  6. Définissabilité dans les théories stables.D. Lascar - 1975 - Logique Et Analyse 18 (71):489.
    No categories
     
    Export citation  
     
    Bookmark  
  7.  70
    Galois groups of first order theories.E. Casanovas, D. Lascar, A. Pillay & M. Ziegler - 2001 - Journal of Mathematical Logic 1 (02):305-319.
    We study the groups Gal L and Gal KP, and the associated equivalence relations EL and EKP, attached to a first order theory T. An example is given where EL≠ EKP. It is proved that EKP is the composition of EL and the closure of EL. Other examples are given showing this is best possible.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  8.  23
    European summer meeting of the association for symbolic logic.H.-D. Ebbinghaus, J. Fernández-Prida, M. Garrido, D. Lascar & M. Rodriguez Artalejo - 1989 - Journal of Symbolic Logic 54 (2):647-672.
  9.  15
    European Summer Meeting of the Association for Symbolic Logic, , Granada, Spain, 1987.H. -D. Ebbinghaus, J. Fernández-Prida, M. Garrido, D. Lascar & M. Rodriguez Artalejo - 1989 - Journal of Symbolic Logic 54 (2):647-672.
  10. Logic Colloquium '87.H. Ebbinghaus, J. Fernandez-Prida, M. Garrido, D. Lascar & M. Rodriguez-Artalejo - 1991 - Studia Logica 50 (1):168-169.
  11.  61
    Les automorphismes d'un ensemble fortement minimal.Daniel Lascar - 1992 - Journal of Symbolic Logic 57 (1):238-251.
    Let M be a countable saturated structure, and assume that D(ν) is a strongly minimal formula (without parameter) such that M is the algebraic closure of D(M). We will prove the two following theorems: Theorem 1. If G is a subgroup of $\operatorname{Aut}(\mathfrak{M})$ of countable index, there exists a finite set A in M such that every A-strong automorphism is in G. Theorem 2. Assume that G is a normal subgroup of $\operatorname{Aut}(\mathfrak{M})$ containing an element g such that for all (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  11
    Logic Colloquium ’96: Proceedings of the Colloquium held in San Sebastián, Spain, July 9–15, 1996.Jesus M. Larrazabal, Daniel Lascar & Grigori Mints - 1998 - Springer.
    The 1996 European Summer Meeting of the Association of Symbolic Logic was held held the University of the Basque Country, at Donostia (San Se bastian) Spain, on July 9-15, 1996. It was organised by the Institute for Logic, Cognition, Language and Information (ILCLI) and the Department of Logic and Philosophy of Sciences of the University of the Basque Coun try. It was supported by: the University of Pais Vasco/Euskal Herriko Unib ertsitatea, the Ministerio de Education y Ciencia (DGCYT), Hezkuntza Saila (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  13.  58
    Jon Barwise and John Schlipf. On recursively saturated models of arithmetic. Model theory and algebra, A memorial tribute to Abraham Robinson, edited by D. H. Saracino and V. B. Weispfenning, Lecture notes in mathematics, vol. 498, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 42–55. - Patrick Cegielski, Kenneth McAloon, and George Wilmers. Modèles récursivement saturés de l'addition et de la multiplication des entiers naturels. Logic Colloquium '80, Papers intended for the European summer meeting of the Association for Symbolic Logic, edited by D. van Dalen, D. Lascar, and T. J. Smiley, Studies in logic and the foundations of mathematics, vol. 108, North-Holland Publishing Company, Amsterdam, New York, and London, 1982, pp. 57–68. - Julia F. Knight. Theories whose resplendent models are homogeneous. Israel journal of mathematics, vol. 42 , pp. 151–161. - Julia Knight and Mark Nadel. Expansions of models and Turing degrees. The journal of symbolic logic, vol. 47 , pp. 58. [REVIEW]J. -P. Ressayre - 1987 - Journal of Symbolic Logic 52 (1):279-284.
  14.  21
    Gaisi Takeuti. Incompleteness theorems and versus. Logic Colloquium '96, Proceedings of the colloquium held in San Sebastián, Spain, July 9–15, 1996, edited by J. M. Larrazabal, D. Lascar, and G. Mints, Lecture notes in logic, no. 12, Springer, Berlin, Heidelberg, New York, etc., 1998, pp. 247–261. - Gaisi Takeuti. Gödel sentences of bounded arithmetic. The journal of symbolic logic, vol. 65 , pp. 1338–1346. [REVIEW]Arnold Beckmann - 2002 - Bulletin of Symbolic Logic 8 (3):433-435.
  15.  34
    Borel equivalence relations and Lascar strong types.Krzysztof Krupiński, Anand Pillay & Sławomir Solecki - 2013 - Journal of Mathematical Logic 13 (2):1350008.
    The "space" of Lascar strong types, on some sort and relative to a given complete theory T, is in general not a compact Hausdorff topological space. We have at least three aims in this paper. The first is to show that spaces of Lascar strong types, as well as other related spaces and objects such as the Lascar group Gal L of T, have well-defined Borel cardinalities. The second is to compute the Borel cardinalities of the known (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  16.  67
    McAloon K.. Introduction. Modèles de l'arithmétique, Séminaire Paris VII, edited by McAloon K., Asterisque, no. 73, Société Mathématique de France, Paris 1980, pp. 1–2.Kirby L. A. S.. La méthode des indicatrices et le théorème d'incomplétude. Modèles de l'arithmétique, Séminaire Paris VII, edited by McAloon K., Asterisque, no. 73, Société Mathématique de France, Paris 1980, pp. 5–18.Lascar Daniel. Une indicatrice de type “Ramsey” pour l'arithmétique de Peano et la formule de Paris-Harrington. Modèles de l'arithmétique, Séminaire Paris VII, edited by McAloon K., Asterisque, no. 73, Société Mathématique de France, Paris 1980, 19–30.McAloon Kenneth. Les rapports entre la méthode des indicatrices et la méthode de Gödel pour obtenir des résultats d'indépendance. Modèles de l'arithmétique, Séminaire Paris VII, edited by McAloon K., Asterisque, no. 73, Société Mathématique de France, Paris 1980, pp. 31–39.McAloon Kenneth. Progressions transfinies de théories axiomatiques, formes combinatoires. [REVIEW]J. B. Paris - 1983 - Journal of Symbolic Logic 48 (2):483-484.
  17. Real Time.D. H. Mellor - 1981 - New York: Cambridge University Press.
    This is a study of the nature of time. In it, redeploying an argument first presented by McTaggart, the author argues that although time itself is real, tense is not. He accounts for the appearance of the reality of tense - our sense of the passage of time, and the fact that our experience occurs in the present - by showing how time is indispensable as a condition of action. Time itself is further analysed, and Dr Mellor gives answers to (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   215 citations  
  18. The impartial spectator: Adam Smith's moral philosophy.D. D. Raphael - 2007 - New York: Oxford University Press.
    D. D. Raphael examines the moral philosophy of Adam Smith (1723-90), best known for his famous work on economics, The Wealth of Nations, and shows that his thought still has much to offer philosophers today. Raphael gives particular attention to Smith's original theory of conscience, with its emphasis on the role of 'sympathy' (shared feelings).
  19.  21
    Heterogeneidad de las máscaras: Entre el carnaval de bajtín Y el grotesco criollo de discépolo.Amado Láscar - 2016 - Alpha (Osorno) 42:9-23.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  15
    Heterogeneity of the masks: between Bakhtin’s carnival and Discépolo’s grotesco criollo.Amado Láscar - 2016 - Alpha (Osorno) 42:9-23.
    El artículo intenta establecer un paralelo entre el concepto de la máscara carnavalesca concebida por Mijaíl Bajtín en Rabelais y su mundo, y también en otros escritos, y la máscara del teatro Grotesco criollo en Buenos Aires, en las primeras décadas del siglo XX. El artículo comienza por definir semejanzas y diferencias en el uso de estas dos máscaras. En el caso medieval, la máscara es utilizada como herramienta de ecualización y de catarsis social y en el caso del grotesco (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  13
    Consolidación Del estado-nación Y las contradicciones de la perspectiva indianista: Gualda, cailloma Y a orillas Del bío-bío.Amado Láscar - 2005 - Alpha (Osorno) 21.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  14
    ¿La teoría zapatista: Una huella en la Selva O un camino en la resistencia anti-neoliberal?Amado J. Láscar - 2004 - Alpha (Osorno) 20.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  23. Superando el Síndrome Lozano-Barragán en las Organizaciones de Producción Cinematográfica Mexicanas.D. Lozano, J. Barragán, S. Guerra & E. Treviño - 2011 - Daena 6 (2).
    Resumen. El presente documento tiene como finalidad plasmar la importancia que tiene el tomar encuenta los deseos y necesidades de los espectadores para el éxito económico de las organizaciones deproducción cinematográfica mexicanas. Se establecen las funciones culturales y económicas quedeben considerar los directores y productores de las organizaciones aquí estudiadas. Por otro lado, seubica los diferentes grados de insatisfacción en los que cae un espectador al que no le agradó lapelícula. Se propone el concepto “Síndrome Lozano-Barragán”* para ubicar a aquellasorganizaciones (...)
    No categories
     
    Export citation  
     
    Bookmark  
  24.  49
    An introduction to forking.Daniel Lascar & Bruno Poizat - 1979 - Journal of Symbolic Logic 44 (3):330-350.
  25.  23
    The indiscernible topology: A mock zariski topology.Markus Junker & Daniel Lascar - 2001 - Journal of Mathematical Logic 1 (01):99-124.
    We associate with every first order structure [Formula: see text] a family of invariant, locally Noetherian topologies. The structure is almost determined by the topologies, and properties of the structure are reflected by topological properties. We study these topologies in particular for stable structures. In nice cases, we get a behaviour similar to the Zariski topology in algebraically closed fields.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  26.  49
    On the category of models of a complete theory.Daniel Lascar - 1982 - Journal of Symbolic Logic 47 (2):249-266.
  27.  2
    Paul Ricœur.Myriam Revault D'Allonnes & François Azouvi (eds.) - 2004 - Paris: Editions de l'Herne.
    S'expliquant sur la publication de Soi-même comme un autre (1990), Paul Ricœur disait ceci : " C'est une réflexion qui vient très tard, à la fin sans doute de mon parcours philosophique. Parce que j'ai voulu régler mes comptes non pas avec les autres mais avec moi-même, c'est-à-dire avec tous ceux que j'ai croisés pendant trente ou quarante années de travail. " Dans ce propos, on reconnaîtra sans peine la façon de faire de l'homme et du philosophe...
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  28.  8
    The Contemplative Foundations of Classical Daoism.Harold Roth - 2021 - SUNY Press.
    In The Contemplative Foundations of Classical Daoism, Harold D. Roth explores the origins and nature of the Daoist tradition, arguing that its creators and innovators were not abstract philosophers but, rather, mystics engaged in self-exploration and self-cultivation, which in turn provided the insights embodied in such famed works as the Daodejing and Zhuangzi. In this compilation of essays and chapters representing nearly thirty years of scholarship, Roth examines the historical and intellectual origins of Daoism and demonstrates how this distinctive philosophy (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29.  18
    Ordre de Rudin‐Keisler et Poids Dans les Theories Stables.Daniel Lascar - 1982 - Mathematical Logic Quarterly 28 (27‐32):413-430.
  30.  38
    Ordre de Rudin-Keisler et Poids Dans les Theories Stables.Daniel Lascar - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (27-32):413-430.
  31.  34
    Les beaux automorphismes.Daniel Lascar - 1991 - Archive for Mathematical Logic 31 (1):55-68.
    Assume that the class of partial automorphisms of the monster model of a complete theory has the amalgamation property. The beautiful automorphisms are the automorphisms of models ofT which: 1. are strong, i.e. leave the algebraic closure (inT eq) of the empty set pointwise fixed, 2. are obtained by the Fraïsse construction using the amalgamation property that we have just mentioned. We show that all the beautiful automorphisms have the same theory (in the language ofT plus one unary function symbol (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  32. Wittgenstein's Full Stop.D. Z. Phillips - 1981 - In Irving Block & Ludwig Wittgenstein (eds.), Perspectives on the philosophy of Wittgenstein. Cambridge: MIT Press. pp. 179--200.
     
    Export citation  
     
    Bookmark   3 citations  
  33.  18
    Stabilité en Théorie des Modèles.Daniel Lascar, Ray Mines, Fred Richman & Wim Ruitenburg - 1990 - Journal of Symbolic Logic 55 (2):883-886.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  34.  9
    Handbook of Mathematical Logic.Daniel Lascar - 1984 - Journal of Symbolic Logic 49 (3):968-971.
    Direct download  
     
    Export citation  
     
    Bookmark  
  35. Advice on modal logic.D. Scott - 1980 - In Karel Lambert (ed.), Philosophical problems in logic: some recent developments. Hingham, MA: Sold and distributed in the U.S.A. and Canada by Kluwer Boston. pp. 143--173.
  36. Confucius: The Analects.D. C. Lau (ed.) - 1996 - Columbia University Press.
    A record of the words and teachings of Confucius, _The Analects_ is considered the most reliable expression of Confucian thought. However, the original meaning of Confucius's teachings have been filtered and interpreted by the commentaries of Confucianists of later ages, particularly the Neo-Confucianists of the Song dynasty, not altogether without distortion.In this monumental translation by Professor D. C. Lau, an attempt has been made to interpret the sayings as they stand. The corpus of the sayings is taken as an organic (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   88 citations  
  37.  35
    Forking and fundamental order in simple theories.Daniel Lascar & Anand Pillay - 1999 - Journal of Symbolic Logic 64 (3):1155-1158.
    We give a characterisation of forking in the context of simple theories in terms of the fundamental order.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  38. Sensibility theory and projectivism.Justin D'Arms & Dan Jacobson - 2006 - In David Copp (ed.), The Oxford handbook of ethical theory. New York: Oxford University Press. pp. 186--218.
    This chapter explores the debate between contemporary projectivists or expressivists, and the advocates of sensibility theory. Both positions are best viewed as forms of sentimentalism — the theory that evaluative concepts must be explicated by appeal to the sentiments. It argues that the sophisticated interpretation of such notions as “true” and “objective” that are offered by defenders of these competing views ultimately undermines the significance of their meta-ethical disputes over “cognitivism” and “realism” about value. Their fundamental disagreement lies in moral (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   38 citations  
  39.  47
    Countable models of nonmultidimensional ℵ0-stable theories.Elisabeth Bouscaren & Daniel Lascar - 1983 - Journal of Symbolic Logic 48 (1):377 - 383.
  40.  21
    1996 European Summer Meeting of the Association for Symbolic Logic.Daniel Lascar - 1997 - Bulletin of Symbolic Logic 3 (2):242-277.
  41.  46
    Why some people are excited by Vaught's conjecture.Daniel Lascar - 1985 - Journal of Symbolic Logic 50 (4):973-982.
  42.  9
    Avtonomii︠a︡ religioznogo soznanii︠a︡: teorii︠a︡, metodologii︠a︡, praktika.D. A. Zaevskiĭ - 2004 - Armavir: Armavirskiĭ gos. pedagogicheskiĭ universitet. Edited by A. D. Pokhilʹko.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  43.  11
    Can a Thought's Whole Subject-Matter Be Itself? The Case of Pain.D. Goldstick - 2024 - Dialogue 63 (1):139-145.
    RésuméLa croyance que l'on est (ou pas) dans un état de douleur est singulière en ceci qu'elle semble pouvoir être qualifiée d'infaillibilité ou d'incorrigibilité logique, de même que le cogito. Mais comment se peut-il que l'existence d'une croyance (vraie) et l'existence du fait qui est l'objet de cette croyance puisssent constituer la même existence? Je propose ici une réponse à cette question. Parfois, une croyance peut être un désir.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  22
    Countable models of nonmultidimensional ℵ0-stable theories.Elisabeth Bouscaren & Daniel Lascar - 1983 - Journal of Symbolic Logic 48 (1):197-205.
  45.  5
    Metafizika i ėtika: sravnitelʹno-kriticheskiĭ analiz osnovopolozheniĭ teoreticheskoĭ i prakticheskoĭ filosofii antichnosti i Novogo vremeni.D. V. Nikulin - 2005 - Moskva: Greko-latinskiĭ kabinet I︠U︡.A. Shichalina.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  5
    Medicinska etika i medicinsko pravo.D. Petrović - 2006 - [Paraćin]: D. Petrović. Edited by R. Simić.
    Direct download  
     
    Export citation  
     
    Bookmark  
  47.  64
    Ethical Dilemmas in Protecting Susceptible Subpopulations From Environmental Health Risks: Liberty, Utility, Fairness, and Accountability for Reasonableness.David B. Resnik, D. Robert MacDougall & Elise M. Smith - 2018 - American Journal of Bioethics 18 (3):29-41.
    Various U.S. laws, such as the Clean Air Act and the Food Quality Protection Act, require additional protections for susceptible subpopulations who face greater environmental health risks. The main ethical rationale for providing these protections is to ensure that environmental health risks are distributed fairly. In this article, we (1) consider how several influential theories of justice deal with issues related to the distribution of environmental health risks; (2) show that these theories often fail to provide specific guidance concerning policy (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  48.  4
    Il sovrano e il dissidente, ovvero, La democrazia presa sul serio: saggio di filosofia politica per cittadini esigenti.Paolo Flores D'Arcais - 2004 - Milano: Garzanti.
  49.  83
    Dynamic Many Valued Logic Systems in Theoretical Economics.D. Lu - manuscript
    This paper is an original attempt to understand the foundations of economic reasoning. It endeavors to rigorously define the relationship between subjective interpretations and objective valuations of such interpretations in the context of theoretical economics. This analysis is substantially expanded through a dynamic approach, where the truth of a valuation results in an updated interpretation or changes in the agent's subjective belief regarding the effectiveness of the selected action as well as the objective reality of the effectiveness of all other (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  50. The projection problem for presuppositions.D. Terence Langendoen & Harris Savin - 1971 - In Charles J. Fillmore & D. Terence Langėndoen (eds.), Studies in linguistic semantics. New York, N.Y.: Irvington. pp. 54--60.
     
    Export citation  
     
    Bookmark   16 citations  
1 — 50 / 980