Results for 'F. F��lix Lara-Mart��n'

1000+ found
Order:
  1.  40
    Individual Members 2006.Martın Abadi, Yoshihiro Abe, Francine F. Abeles, Andrew Aberdein, Nathanael Ackerman, Bryant Adams, Klaus T. Aehlig, Fritz Aeschbach, Henry Louis Africk & Bahareh Afshari - 2006 - Bulletin of Symbolic Logic 12 (4):625-681.
  2. Individual Members 2010.Martın Abadi, Yoshihiro Abe, Andreas Abel, Francine F. Abeles, Andrew Aberdein, J. David Abernethy, Kuanysh Abeshev, Nate Ackerman, Winfred P. Adams & Miloš Adzic - 2010 - Bulletin of Symbolic Logic 16 (4).
  3. Individual Members 2009.Martın Abadi, Yoshihiro Abe, Andreas Abel, Francine F. Abeles, Andrew Aberdein, J. David Abernethy, Nate Ackerman, Bryant Adams, Winifred P. Adams & Klaus T. Aehlig - 2009 - Bulletin of Symbolic Logic 15 (4).
  4.  37
    Individual Members 2005.Martın Abadi, Areski Nait Abdallah, Yoshihiro Abe, Francine F. Abeles, Andrew Aberdein, Vicente Aboites, Nathanael Ackerman, Bryant Adams, John W. Addison Jr & Sergey Adian - 2005 - Bulletin of Symbolic Logic 11 (4).
  5. Individual Members 2004.Martın Abadi, Areski Nait Abdallah, Yoshihiro Abe, Francine F. Abeles, Andrew Aberdein, Vicente Aboites, Nathanael Ackerman, John W. Addison Jr, Klaus T. Aehlig & Fritz Aeschbach - 2004 - Bulletin of Symbolic Logic 10 (4).
  6.  27
    Individual Members 2003.Martın Abadi, Yoshihiro Abe, Francine F. Abeles, Andrew Aberdein, Vicente Aboites, Nathanael Ackerman, Roger D. Acord, Zofia Adamowicz, John W. Addison Jr & Fritz Aeschbach - 2003 - Bulletin of Symbolic Logic 9 (4).
  7.  49
    Individual Members 2008.Martın Abadi, Yoshihiro Abe, Andreas Abel, Francine F. Abeles, Andrew Aberdein, J. David Abernethy, Bryant Adams, Klaus T. Aehlig, Fritz Aeschbach & Henry Louis Africk - 2008 - Bulletin of Symbolic Logic 14 (4).
  8.  9
    Induction, Minimization and Collection for Δ N+1 (T)–Formulas.A. Fernández-Margarit & F. F. Lara-Martín - 2004 - Archive for Mathematical Logic 43 (4):505-541.
    For a theory T, we study relationships among IΔ n +1 (T), LΔ n+1 (T) and B * Δ n+1 (T). These theories are obtained restricting the schemes of induction, minimization and (a version of) collection to Δ n+1 (T) formulas. We obtain conditions on T (T is an extension of B * Δ n+1 (T) or Δ n+1 (T) is closed (in T) under bounded quantification) under which IΔ n+1 (T) and LΔ n+1 (T) are equivalent. These conditions depend (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  9.  17
    Some Results on LΔ — N+1.Alejandro Fernández Margarit & F. Félix Lara Martin - 2001 - Mathematical Logic Quarterly 47 (4):503-512.
    We study the quantifier complexity and the relative strength of some fragments of arithmetic axiomatized by induction and minimization schemes for Δn+1 formulas.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10. Scale-Invariance of Human Response Latencies.F. Moscoso del Prado Martın - 2009 - In N. A. Taatgen & H. van Rijn (eds.), Proceedings of the 31st Annual Conference of the Cognitive Science Society.
    No categories
     
    Export citation  
     
    Bookmark  
  11.  22
    Individual Members 2012.Arnfinn Aamodt, Martın Abadi, Areski Nait Abdallah, Yoshihiro Abe, Andreas Abel, Francine F. Abeles, Andrew Aberdein, Kuanysh Abeshev, Nate Ackerman & Juan Pablo Acosta López - 2012 - Bulletin of Symbolic Logic 18 (4).
  12. Individual Members 2011.Arnfinn Aamodt, Martın Abadi, Yoshihiro Abe, Andreas Abel, Francine F. Abeles, Andrew Aberdein, Kuanysh Abeshev, Nate Ackerman, Martin Adamcik & Winfred P. Adams - 2011 - Bulletin of Symbolic Logic 17 (4).
  13. McDermott, J., B11 Milders, M., B23 Needham, A., 215 Newman, RS, B45 Niedeggen, M., B23.P. Bloom, N. Burgess, J. B. Cicchino, F. M. del Prado Martın, G. Dueker, L. R. Gleitman, A. E. Goldberg, A. I. Goldman, T. Hartley & H. Intraub - 2005 - Cognition 94:257.
    No categories
     
    Export citation  
     
    Bookmark  
  14.  7
    Some Results on LΔmath Image.Alejandro Fernández-Margarit & F. Félix Lara Martin - 2001 - Mathematical Logic Quarterly 47 (4):503-512.
    We study the quantifier complexity and the relative strength of some fragments of arithmetic axiomatized by induction and minimization schemes for Δn+1 formulas.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  13
    On the Quantifier Complexity of Δ N+1 (T)– Induction.A. Cordón-Franco, A. Fernández-Margarit & F. F. Lara-Martín - 2004 - Archive for Mathematical Logic 43 (3):371-398.
    In this paper we continue the study of the theories IΔ n+1 (T), initiated in [7]. We focus on the quantifier complexity of these fragments and theirs (non)finite axiomatization. A characterization is obtained for the class of theories such that IΔ n+1 (T) is Π n+2 –axiomatizable. In particular, IΔ n+1 (IΔ n+1 ) gives an axiomatization of Th Π n+2 (IΔ n+1 ) and is not finitely axiomatizable. This fact relates the fragment IΔ n+1 (IΔ n+1 ) to induction (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  16.  25
    A Note on Parameter Free Π1 -Induction and Restricted Exponentiation.A. Cordón-Franco, A. Fernández-Margarit & F. F. Lara-Martín - 2011 - Mathematical Logic Quarterly 57 (5):444-455.
    We characterize the sets of all Π2 and all equation image theorems of IΠ−1 in terms of restricted exponentiation, and use these characterizations to prove that both sets are not deductively equivalent. We also discuss how these results generalize to n > 0. As an application, we prove that a conservation theorem of Beklemishev stating that IΠ−n + 1 is conservative over IΣ−n with respect to equation image sentences cannot be extended to Πn + 2 sentences. © 2011 WILEY-VCH Verlag (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  17. Rivista di Filosofia, vol. LIX, 1968, N. 2. [REVIEW]F. Mueller - 1968 - Studia Philosophica 28:304.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  18.  21
    Estudos Anatômicos em Pfaffia jubata Mart.N. L. Menezes, W. Handro & J. F. B. Mello-Campos - 1969 - Boletim da Faculdade de Filosofia, Ciências e Letras, Universidade de São Paulo. Botânica 24:195.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  19.  27
    Fragments of Arithmetic and True Sentences.Andrés Cordón-Franco, Alejandro Fernández-Margarit & F. Félix Lara-Martín - 2005 - Mathematical Logic Quarterly 51 (3):313-328.
    By a theorem of R. Kaye, J. Paris and C. Dimitracopoulos, the class of the Πn+1-sentences true in the standard model is the only consistent Πn+1-theory which extends the scheme of induction for parameter free Πn+1-formulas. Motivated by this result, we present a systematic study of extensions of bounded quantifier complexity of fragments of first-order Peano Arithmetic. Here, we improve that result and show that this property describes a general phenomenon valid for parameter free schemes. As a consequence, we obtain (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  20.  20
    Javier Jimé nez-Candil*, Ana Martın-Garcıa.Cá Ndido Martın-Luengo - 2011 - Contrastes 64:1182-92.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  21.  14
    Envelopes, Indicators and Conservativeness.Andrés Cordón-Franco, Alejandro Fernández-Margarit & F. Félix Lara-Martín - 2006 - Mathematical Logic Quarterly 52 (1):51-70.
    A well known theorem proved by J. Paris and H. Friedman states that BΣn +1 is a Πn +2-conservative extension of IΣn . In this paper, as a continuation of our previous work on collection schemes for Δn +1-formulas , we study a general version of this theorem and characterize theories T such that T + BΣn +1 is a Πn +2-conservative extension of T . We prove that this conservativeness property is equivalent to a model-theoretic property relating Πn-envelopes and (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22.  7
    Putting the Bits Together: An Information Theoretical Perspective on Morphological Processing.Fermı́n Moscoso del Prado Martı́n, Aleksandar Kostić & R. Harald Baayen - 2004 - Cognition 94 (1):1-18.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  23. Identities: Race, Class, Gender, and Nationality.Linda Martí Alcoff, N. & Eduardo Mendieta (eds.) - 2003 - Wiley.
  24.  1
    Development of a Salutogenesis Workshop for SPPs to Help Them, Their Athletes, and the Athlete’s Entourage Better Cope With Uncertainty During the COVID-19 Pandemic.Sascha Leisterer, Franziska Lautenbach, Nadja Walter, Lara Kronenberg & Anne-Marie Elbe - 2021 - Frontiers in Psychology 12.
    The COVID-19 pandemic is also called a crisis of uncertainty because of so many unforeseeable events like canceled qualification competitions, loss of training facilities, and postponement of the Olympic games. Athletes and their entourage experience this uncertainty as stressful. Sport psychology practitioners are in a key position to support athletes in coping with these unforeseeable stressors. However, SPPs are similarly affected by the COVID-19 pandemic and simultaneously have to cope with stress. Salutogenesis, which describes how to manage stress and to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  18
    A New Approach to Computing Using Informon s and Holons: Towards a Theory of Computing Science.F. David de la Peña, Juan A. Lara, David Lizcano, María Aurora Martínez & Juan Pazos - 2020 - Foundations of Science 25 (4):1173-1201.
    The state of computing science and, particularly, software engineering and knowledge engineering is generally considered immature. The best starting point for achieving a mature engineering discipline is a solid scientific theory, and the primary reason behind the immaturity in these fields is precisely that computing science still has no such agreed upon underlying theory. As theories in other fields of science do, this paper formally establishes the fundamental elements and postulates making up a first attempt at a theory in this (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  26.  22
    A Note On Σ1-Maximal Models.A. Cordón—Franco & F. F. Lara—Martín - 2007 - Journal of Symbolic Logic 72 (3):1072-1078.
    Let T be a recursive theory in the language of first order Arithmetic. We prove that if T extends: the scheme of parameter free Δ1-minimization, or the scheme of parameter free Π1-induction, then there are no Σ1-maximal models with respect to T. As a consequence, we obtain a new proof of an unpublished theorem of Jeff Paris stating that Σ1-maximal models with respect to IΔ0 + exp do not satisfy the scheme of Σ1-collection BΣ1.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  27.  21
    Romance, Risk, and Replication: Can Consumer Choices and Risk-Taking Be Primed by Mating Motives?David R. Shanks, Miguel A. Vadillo, Benjamin Riedel, Ashley Clymo, Sinita Govind, Nisha Hickin, Amanda J. F. Tamman & Lara M. C. Puhlmann - 2015 - Journal of Experimental Psychology: General 144 (6):e142-e158.
  28.  27
    The Effects of Note-Taking and Review on Sensemaking and Ethical Decision Making.James F. Johnson, Zhanna Bagdasarov, Lauren N. Harkrider, Alexandra E. MacDougall, Shane Connelly, Lynn D. Devenport & Michael D. Mumford - 2013 - Ethics and Behavior 23 (4):299-323.
    The effectiveness of case-based learning in ethics education varies widely regarding how cases are presented. Case process instruction may impact case-based ethics education to promote sensemaking processes, ethical sensemaking strategy use, and ethical decision making (EDM) quality. This study examined two teaching techniques, notes and review, and participants completed note-taking and review activities examining a case-based scenario during an ethics education course. Results suggest that providing case notes in outline form improves sensemaking processes, strategy use, and EDM quality. In addition, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  29. The Blackwell Guide to Feminist Philosophy.Eva Feder Kittay, Martí & Linda N. Alcoff (eds.) - 2006 - Wiley-Blackwell.
  30. A Randomized Controlled Pilot Trial of Classroom-Based Mindfulness Meditation Compared to an Active Control Condition in Sixth-Grade Children.W. Britton, N. Lepp, H. F. Niles, Tomas Rocha, N. Fisher & J. Gold - 2014 - Journal of School Psychology 52 (3):263-278.
    The current study is a pilot trial to examine the effects of a nonelective, classroom-based, teacher-implemented, mindfulness meditation intervention on standard clinical measures of mental health and affect in middle school children. A total of 101 healthy sixth-grade students (55 boys, 46 girls) were randomized to either an Asian history course with daily mindfulness meditation practice (intervention group) or an African history course with a matched experiential activity (active control group). Self-reported measures included the Youth Self Report (YSR), a modified (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  31. 'Becoming an Epistemologist'.Linda Martın Alcoff - 1999 - In E. A. Grosz (ed.), Becomings: Explorations in Time, Memory, and Futures. Cornell University Press.
     
    Export citation  
     
    Bookmark  
  32.  8
    On the Value of Diversity.Inmaculada de Melo-Martı´N. - 2015 - American Journal of Bioethics 15 (9):1-2.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  33.  4
    Signs, Singularities and Significance: A Physical Model for Semiotics.F. Eugene Yates & Peter N. Kugler - 1984 - Semiotica 52 (1-2).
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  34.  10
    On Axiom Schemes for T-Provably $${\delta_{1}}$$ Δ 1 Formulas.A. Cordón-Franco, A. Fernández-Margarit & F. F. Lara-Martín - 2014 - Archive for Mathematical Logic 53 (3-4):327-349.
    This paper investigates the status of the fragments of Peano Arithmetic obtained by restricting induction, collection and least number axiom schemes to formulas which are Δ1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Delta_1}$$\end{document} provably in an arithmetic theory T. In particular, we determine the provably total computable functions of this kind of theories. As an application, we obtain a reduction of the problem whether IΔ0+¬exp\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${I\Delta_0 + \neg \mathit{exp}}$$\end{document} implies BΣ1\documentclass[12pt]{minimal} (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  35.  2
    On the Optimality of Conservation Results for Local Reflection in Arithmetic.A. Cordón-Franco, A. Fernández-Margarit & F. F. Lara-Martín - 2013 - Journal of Symbolic Logic 78 (4):1025-1035.
  36. Longevity as an Animal Welfare Issue Applied to the Case of Foot Disorders in Dairy Cattle.M. R. N. Bruijnis, F. L. B. Meijboom & E. N. Stassen - 2013 - Journal of Agricultural and Environmental Ethics 26 (1):191-205.
    In current dairy farming it is possible to run a profitable farm without having to adapt the system to the needs of dairy cows. In such systems the interests of the farmer and animals often diverge. Consequently, specific animal welfare problems occur. Foot disorders in dairy cattle are an illustrative example resulting from the specific methods of housing and management in current dairy farming. Foot disorders and the resulting lameness are considered the most important welfare problem in dairy farming. However, (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  37.  98
    Knowledge and Ethical Perception Regarding Organ Donation Among Medical Students.Nisreen F. Ali, Amal Qureshi, Basmah N. Jilani & Nosheen Zehra - 2013 - BMC Medical Ethics 14 (1):38.
    To determine the knowledge and ethical perception regarding organ donation amongst medical students in Karachi- Pakistan.
    Direct download (13 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  38.  19
    Toward a New Perspective on Identity: An Interview with F Lix Guattari.Jean-Charles Jambon & Nathalie Magnan - 1996 - Angelaki 1 (1):96 – 98.
  39.  25
    Peter Lipton (9th October 1954–25th November 2007).M. F.-S. & N. J. - 2008 - Studies in History and Philosophy of Science Part A 39 (1):1-.
  40. Development of Attitude Toward Teaching Career in Longitudinal Study.F. L. Pigge & R. N. Marso - 1997 - Science Education 72:143-155.
     
    Export citation  
     
    Bookmark  
  41.  5
    Sınıf Öğretmenliği Lisans Öğretim Programının Aday Öğretmenlerin Görüşlerine Gör.Şule Firat Durdukoca - 2016 - Journal of Turkish Studies 11 (Volume 11 Issue 3):1131-1131.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  42.  10
    Man and Morals. Ethics. [REVIEW]C. F. & Celestine N. Bittle - 1951 - Journal of Philosophy 48 (22):710.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  8
    Revelation and Mystery in Ancient Judaism and Pauline Christianity.J. A. F. & Markus N. A. Bockmuehl - 1993 - Journal of the American Oriental Society 113 (3):506.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44.  8
    Fıtrat Hadisi'nin Osmanlının Devşirme S.Mustafa IŞIK - 2013 - Journal of Turkish Studies 8 (Volume 8 Issue 6):309-332.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  45.  4
    From Texts to Enacting Practices: Defining Fair and Equitable Research Principles for Plant Genetic Resources in West Africa.F. Jankowski, S. Louafi, N. A. Kane, M. Diol, A. Diao Camara, J.-L. Pham, C. Berthouly-Salazar & A. Barnaud - 2020 - Agriculture and Human Values 37 (4):1083-1094.
    Collaborative research practices in the field of plant genetic resources must follow the principles of fairness and equity as defined in the Convention on Biological Diversity and in the International Treaty on Plant Genetic Resources for Food and Agriculture. In this context the concepts of fairness and equity generally refer to the substantive and procedural dimensions associated with sharing the benefits of this research. But neither term is clearly defined by these international treaties, and the meanings attributed to the concepts (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46.  5
    A.F. Losev and A.N. Whitehead: Possible Parallels.Holger Kuße - 2018 - Russian Studies in Philosophy 56 (6):504-514.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47.  21
    (R.F.) Hock and (E.N.) O'Neil The Chreia and Ancient Rhetoric. Classroom Exercises. Leiden: Brill, 2002. Pp. Xiv + 411. $134 (Hbk); $49.95 (Pbk). 9004126562 (Hbk); 1589830180 (Pbk). [REVIEW]Denis M. Searby - 2004 - Journal of Hellenic Studies 124:189-190.
  48.  7
    Legal Realism and Justice.F. M. Watkins & Edwin N. Garlan - 1942 - Philosophical Review 51 (3):338.
  49.  33
    ABD'nin Anasınıfı Ve İlköğretim Birinci Sınıf Okuma Kitaplarının Kelime Öğretimi Açısından İncelenme.Yalçın Bay - 2014 - Journal of Turkish Studies 9 (Volume 9 Issue 12):17-17.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  50.  60
    Case-Based Ethics Instruction: The Influence of Contextual and Individual Factors in Case Content on Ethical Decision-Making.Zhanna Bagdasarov, Chase E. Thiel, James F. Johnson, Shane Connelly, Lauren N. Harkrider, Lynn D. Devenport & Michael D. Mumford - 2013 - Science and Engineering Ethics 19 (3):1305-1322.
    Cases have been employed across multiple disciplines, including ethics education, as effective pedagogical tools. However, the benefit of case-based learning in the ethics domain varies across cases, suggesting that not all cases are equal in terms of pedagogical value. Indeed, case content appears to influence the extent to which cases promote learning and transfer. Consistent with this argument, the current study explored the influences of contextual and personal factors embedded in case content on ethical decision-making. Cases were manipulated to include (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   19 citations  
1 — 50 / 1000