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

1000+ found
Order:
  1.  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).
  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.  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).
  4.  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.
  5.  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).
  6. 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).
  7. 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).
  8. 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  
  9. 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  
  10. 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).
  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.  10
    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  
  13.  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 (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  14
    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  
  15.  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  
  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 (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  17.  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  
  18.  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 (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  19.  3
    Cultural and Psychological Variables Predicting Academic Dishonesty: A Cross-Sectional Study in Nine Countries.Agata Błachnio, Andrzej Cudo, Paweł Kot, Małgorzata Torój, Kwaku Oppong Asante, Violeta Enea, Menachem Ben-Ezra, Barbara Caci, Sergio Alexis Dominguez-Lara, Nuworza Kugbey, Sadia Malik, Rocco Servidio, Arun Tipandjan & Michelle F. Wright - 2022 - Ethics and Behavior 32 (1):44-89.
    ABSTRACT Academic dishonesty has serious consequences for human lives, social values, and economy. The main aim of the study was to explore a model of relations between personal and cultural variables and academic dishonesty. The participants in the study were N = 2,586 individuals from nine countries. The authors administered the Academic Dishonesty Scale to measure academic dishonesty, the Kessler Psychological Distress Scale to measure distress, the Almost Perfect Scale – Revised to measure perfectionism, the Brief Self-Control Scale to measure (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  15
    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 (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  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  
  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.  4
    Kur’'n ve Hadiserde Fıtrat Kavramının Anlamı Üzerine.Muhammet Ali Teki̇n - 2020 - Tasavvur - Tekirdag Theology Journal 6 (2):1441-1490.
    Kavramlar doğru anlamlandırılmadığı takdirde meselelerin anlaşılması noktasında yanlış sonuçlara varmanın kaçınılmaz olduğu bir hakikattir. Fıtrat kavramı bu manada insanın neliği bağlamında başat kavram olarak her daim farklı değerlendirmelere konu olmuştur. İnsanın, gerek kendisini var eden Allah ile olan ilişkisi gerekse hemcinsleriyle ve içerisinde yaşadığı âlemle ilişkisi çerçevesinde bu kavramın anlam alanının tespiti yine ait olduğu dünya üzerinden yapıldığı zaman konu hakkında doğru sonuçların elde edilmesine imkân tanıyacaktır. Kur’ân ve hadislerde yerini bulan fıtrat kavramının anlam alanına yönelik çalışmaların bu alanlarda derinlemesine (...)
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  24. A Note on Parameter Free N1-Induction and Restricted Exponentiation.Andrés Cordón Franco, Alejandro Fernández Margarit & F. F. Lara Martín - 2011 - Mathematical Logic Quarterly 57 (5):444-455.
    No categories
     
    Export citation  
     
    Bookmark  
  25.  41
    Sınıf Öğretmeni Adaylarının Kişisel Ve Aile Özellikleri İle Öğrenim Gördükleri P.Mehmet Gülteki̇n - 2016 - Journal of Turkish Studies 11 (Volume 11 Issue 3):1163-1163.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  26.  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  
  27. The Blackwell Guide to Feminist Philosophy.Eva Feder Kittay, Martí & Linda N. Alcoff (eds.) - 2006 - Wiley-Blackwell.
  28.  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  
  29.  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  
  30. '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  
  31.  38
    Nurse Middle Manager Ethical Dilemmas and Moral Distress.F. D. Ganz, N. Wagner & O. Toren - 2015 - Nursing Ethics 22 (1):43-51.
  32. Identities: Race, Class, Gender, and Nationality.Linda Martí Alcoff, N. & Eduardo Mendieta (eds.) - 2003 - Wiley.
  33. Degrees of Categoricity and the Hyperarithmetic Hierarchy.Barbara F. Csima, Johanna N. Y. Franklin & Richard A. Shore - 2013 - Notre Dame Journal of Formal Logic 54 (2):215-231.
    We study arithmetic and hyperarithmetic degrees of categoricity. We extend a result of E. Fokina, I. Kalimullin, and R. Miller to show that for every computable ordinal $\alpha$, $\mathbf{0}^{}$ is the degree of categoricity of some computable structure $\mathcal{A}$. We show additionally that for $\alpha$ a computable successor ordinal, every degree $2$-c.e. in and above $\mathbf{0}^{}$ is a degree of categoricity. We further prove that every degree of categoricity is hyperarithmetic and show that the index set of structures with degrees (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  34. The Immaterialisation Paradigm and Ist Basic Issues and Challenges for its Elaboration.F. Vandamme & N. Van Vosselen - 2001 - Communication and Cognition: An Interdisciplinary Quarterly Journal 34 (3/4):197-212.
     
    Export citation  
     
    Bookmark  
  35.  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  
  36. 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  
  37.  92
    Sınıf Öğretmeni Adaylarının Ekolojik Ayak İzi Farkındalık Düzeylerinin Belirlenmesi.Rabia Sarikaya - 2014 - Journal of Turkish Studies 9 (Volume 9 Issue 5):1761-1761.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  38. Development of Attitude Toward Teaching Career in Longitudinal Study.F. L. Pigge & R. N. Marso - 1997 - Science Education 72:143-155.
     
    Export citation  
     
    Bookmark  
  39. Recensioni/Reviews-Storia della filosofia analitica.F. D. Agostini, N. Vassallo & M. Benzi - 2005 - Epistemologia 28 (1):158-162.
    Translate
     
     
    Export citation  
     
    Bookmark  
  40.  36
    SO(M)-Invariant Differential Operators on Clifford Algebra-Valued Functions.F. Sommen & N. Van Acker - 1993 - Foundations of Physics 23 (11):1491-1519.
    In this paper we consider the algebra of differential operators with polynomial coefficients acting on Clifford algebra-valued functions from both sides. We characterize the subalgebra of SO(m)-invariant differential operators, which itself contains the subalgebra of GL(m)-invariant differential operators.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  41.  17
    Sınıf Öğretmeni Adaylarının Öğretmenlik Uygulaması Üzerine Görüşleri (Muğla Sıtkı Koçman Üniversites.Sedat Altintaş - 2014 - Journal of Turkish Studies 9 (Volume 9 Issue 8):197-197.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  42.  19
    A Semantic Approach for Fine-Grain Access Control of E-Health Documents.F. Amato, V. Casola, N. Mazzocca & S. Romano - 2013 - Logic Journal of the IGPL 21 (4):692-701.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  23
    Sınıf Öğretmeni Adaylarının Yazma Ve Yazma Öğretimine İlişkin Deneyim Ve İnançla.Ahmet Yamaç - 2016 - Journal of Turkish Studies 11 (Volume 11 Issue 3):2355-2355.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  44.  8
    Strawson P. F.. On Referring. Mind, N.S. Vol. 59 , Pp. 320–344.J. F. Thomson - 1953 - Journal of Symbolic Logic 18 (1):87-88.
  45.  39
    Sınıf Öğretmeni Adaylarının Fen Öğretiminde Okul Dışı Öğrenme Hakkındaki Görüşleri.Yusuf Ay - 2015 - Journal of Turkish Studies 10 (Volume 10 Issue 15):103-103.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  46.  10
    Sınıf Öğretmeni Adaylarının Matematikle İlgili Kavramlara İlişkin Metaforları.Nihan Şahi̇nkaya - 2016 - Journal of Turkish Studies 11 (Volume 11 Issue 3):2623-2623.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  47.  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  
  48.  13
    Frontal Operators in Weak Heyting Algebras.Sergio A. Celani & Hern?N. J. San Mart?N. - 2012 - Studia Logica 100 (1-2):91-114.
    In this paper we shall introduce the variety FWHA of frontal weak Heyting algebras as a generalization of the frontal Heyting algebras introduced by Leo Esakia in [10]. A frontal operator in a weak Heyting algebra A is an expansive operator r preserving finite meets which also satisfies the equation?? b V, for all a,b? A. These operators were studied from an algebraic, logical and topological point of view by Leo Esakia in [10]. We will study frontal operators in weak (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  14
    Sınıf Öğretmen Adaylarının Öğretmenlik Uygulaması Dersine Yönelik Yaşadıkları Sorunlar Ve Çözüm Öner.Ahmet Taşdere - 2014 - Journal of Turkish Studies 9 (Volume 9 Issue 2):1477-1477.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  50. Inquiry in Science Education: Intemational Perspectives.F. Abd-Ei-Khalick, S. Boujaoude, N. G. Lederman, R. Mamilok-Naaman, A. Hofstein & M. Niaz - 2004 - Science Education 88:397-419.
    No categories
     
    Export citation  
     
    Bookmark   11 citations  
1 — 50 / 1000