Results for 'Paulo Gentil'

952 found
Order:
  1.  21
    Commentary: Why sprint interval training is inappropriate for a largely sedentary population.Fabrício B. Del Vecchio, Paulo Gentil, Victor S. Coswig & David H. Fukuda - 2015 - Frontiers in Psychology 6.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  21
    “Just One More Rep!” – Ability to Predict Proximity to Task Failure in Resistance Trained Persons.Cedrik Armes, Henry Standish-Hunt, Patroklos Androulakis-Korakakis, Nick Michalopoulos, Tsvetelina Georgieva, Alex Hammond, James P. Fisher, Paulo Gentil, Jürgen Giessing & James Steele - 2020 - Frontiers in Psychology 11.
    In resistance training, the use of predicting proximity to momentary task failure, and repetitions in reserve scales specifically, is a growing approach to monitoring and controlling effort. However, its validity is reliant upon accuracy in the ability to predict MF which may be affected by congruence of the perception of effort compared with the actual effort required. The present study examined participants with at least 1 year of resistance training experience predicting their proximity to MF in two different experiments using (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3. Para Todxs: Natal - uma introdução à lógica formal.P. D. Magnus, Tim Button, Robert Loftis, Robert Trueman, Aaron Thomas Bolduc, Richard Zach, Daniel Durante, Maria da Paz Nunes de Medeiros, Ricardo Gentil de Araújo Pereira, Tiago de Oliveira Magalhães, Hudson Benevides, Jordão Cardoso, Paulo Benício de Andrade Guimarães & Valdeniz da Silva Cruz Junior - 2022 - Natal-RN: PPGFIL-UFRN.
    Livro-texto de introdução à lógica, com (mais do que) pitadas de filosofia da lógica, produzido como uma versão revista e ampliada do livro Forallx: Calgary. Trata-se da versão de 13 de outubro de 2022. Comentários, críticas, correções e sugestões são muito bem-vindos.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4. .par Paulo E. Berrêdo Carneiro et Paul Arbousee-Bastiddee - 1973 - In Auguste Comte, Pierre Arnaud, Paul Arbousse-Bastide, Paulo E. De Berrêdo Carneiro & Angèle Kremer-Marietti (eds.), Correspondance générale et confessions. Paris,: Mouton.
    No categories
     
    Export citation  
     
    Bookmark  
  5.  39
    The External Limitations to Democracy.Sérgio Paulo Rouanet - 2008 - Diogenes 55 (4):7-14.
    This paper claims that what needs reinventing is not democracy as an ideal model, but rather the prevailing reality in terms of a set of obstacles hindering the realization of this model. Democracy can only be adapted to the new realities of the world if these realities are also transformed in such a way as to make it possible for democracy to properly function. The absence of norms on an international scale is manifested by a de facto hegemonic power accruing (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6. The View Held by the Other, the View Taken of the Other.Sergio Paulo Rouanet - 2002 - Diogenes 49 (193):3-11.
    I hope I will not be accused of mental colonialism by attributing to Europe the role which belongs to it historically: that of the Self, which leaves the position of the Other for us. Consequently, this text ought to begin with the view taken of the Other (the European view of the Brazilians) and continue with the view held by the Other (the Brazilian view of the Europeans).
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7. Intuiciones sobre la noción de obra del arte.Paulo Vélez León - 2012 - In Vélez León Paulo & Pacurucu Hernán (eds.), Políticas al borde. Una investigación estética sobre el arte contemporáneo cuencano en los discursos políticos actuales. Redesep. pp. 25-56.
    Algunas de las preguntas fundamentales de la filosofía del arte son: 1) ¿Qué es una obra de arte?, 2) ¿Qué es Arte?, 3) ¿Qué es el arte? Responderlas es determinar el sentido del arte. Este tipo de preguntas están planteadas bajo la fórmula ¿Qué es X?, es decir, preguntas en las cuales en lo simple esta lo complejo, preguntas en donde lo simple no quiere decir que sean sencillas; son preguntas que traen dentro de si su naturaleza y carácter metafísico-ontológico-gnoseológico, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  8. Thomas kuhn’s theory of rationality.Paulo Pirozelli - 2019 - Manuscrito 42 (3):1-46.
    According to a widespread view, Thomas Kuhn’s model of scientific development would relegate rationality to a second plane, openly flirting with irrationalist positions. The intent of this article is to clarify this aspect of his thinking and refute this common interpretation. I begin by analysing the nature of values in Kuhn’s model and how they are connected to rationality. For Kuhn, a theory is chosen rationally when: i) the evaluation is based on values characteristic of science; ii) a theory is (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  9.  7
    Rethinking natural law.Paulo Ferreira da Cunha - 2013 - Heidelberg: Springer.
    For centuries, natural law was the main philosophical legal paradigm. Now, it is a wonder when a court of law invokes it. Arthur Kaufmann already underlined a modern general "horror iuris naturalis". We also know, with Winfried Hassemer, that the succession of legal paradigms is a matter of fashion. But why did natural law become outdated? Are there any remnants of it still alive today? This book analyses a number of prejudices and myths that have created a general misconception of (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  7
    Performatividade translocutória.Marcos Paulo Santa Rosa Matos - 2023 - Eikasia Revista de Filosofía 118:27-86.
    O presente estudo revisa o conceito de performatividade desenvolvido nos estudos de Austin e Benveniste, e está dividido em três partes: a primeira é uma síntese crítica das contribuições desses autores, em que se enfatiza os pontos de concordância e discordância entre eles, e os aspectos problemáticos de seus respectivos pontos de vista; a segunda é uma releitura das conceituações, estruturações e problematizações apresentadas pelos autores, e uma proposta própria de compreensão da enunciação e da performance a partir das ideias (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  48
    Apresentação a Panorama do progresso da sociedade na Europa, de William Robertson.Pedro Paulo Pimenta - 2010 - Cadernos de Ética E Filosofia Política 17:228-248.
    Tradução do texto Panorama do progresso da sociedade na Europa.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  12.  12
    Doscientos años de la economía brasileña (según liberales, nacionalistas y marxistas): ¿la dependencia como proyecto?Pedro Paulo Zahluth Bastos - forthcoming - Araucaria.
    El artículo presenta hechos estilizados sobre los doscientos años de historia económica brasileña según los liberales clásicos, nacionalistas y marxistas. Para ello se eligen algunos autores clásicos de cada orientación teórica por la influencia de sus interpretaciones. Mientras que los liberales clásicos alaban la dependencia económica y critican la lucha política por superar las herencias coloniales y neocoloniales, los nacionalistas y marxistas, de diferentes maneras, critican la dependencia y proponen superarla políticamente. En Brasil, los marxistas nunca han estado en el (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  67
    Moral Consistency Reasoning Reconsidered.Norbert Paulo - 2020 - Ethical Theory and Moral Practice 23 (1):107-123.
    Many contemporary ethicists use case-based reasoning to reach consistent beliefs about ethical matters. The idea is that particular cases elicit moral intuitions, which provide defeasible reasons to believe in their content. However, most proponents of case-based moral reasoning are not very explicit about how they resolve inconsistencies and how they abstract principles from judgments about particular cases. The aim of this article is to outline a methodology—called Consistency Reasoning Casuistry—for case-based reasoning in ethics. This methodology draws on Richmond Campbell and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  14. Brain-to-Brain Coupling in the Gamma-Band as a Marker of Shared Intentionality.Paulo Barraza, Alejandro Pérez & Eugenio Rodríguez - 2020 - Frontiers in Human Neuroscience 14.
  15.  59
    Categorical perception of speech sounds in illiterate adults.Willy Serniclaes, Paulo Ventura, José Morais & Régine Kolinsky - 2005 - Cognition 98 (2):B35-B44.
  16.  26
    (1 other version)Editorial note.John R. Shook & Paulo Ghiraldelli - 2004 - Contemporary Pragmatism 1 (1):1-2.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  17.  58
    A Text Mining-Based Review of Cause-Related Marketing Literature.João Guerreiro, Paulo Rita & Duarte Trigueiros - 2016 - Journal of Business Ethics 139 (1):111-128.
    Cause-related marketing has risen to become a popular strategy to increase business value through profit-motivated giving. Despite the growing number of articles published in the last decade, no comprehensive analysis of the most discussed constructs of cause-related marketing is available. This paper uses an advanced Text Mining methodology to conduct a comprehensive analysis of 246 articles published in 40 different journals between 1988 and 2013 on the subject of cause-related marketing. Text Mining also allows quantitative analyses to be performed on (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  18.  24
    William Hazlitt: Um Crítico de Arte sob o Signo da Revolução.Pedro Paulo Pimenta - 2014 - Dois Pontos 11 (1).
    O artigo propõe-se a reconstruir a trajetória de William Hazlitt, procurando mos- trar que sua formação como crítico de arte esteve estreitamente ligada a certos eventos decorrentes da Revolução Francesa. Um elemento nesta direção é representado pela sua visitação, a partir da virada para o século XIX, ao Louvre. Refletindo sobre sua experiência parisiense, o crítico formula a ideia de que a linguagem da pintura almeja uma universali- dade inimaginável no âmbito da política. Com isso, busca-se sugerir a existência de (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19.  16
    Paradoxes, Intuitionism, and Proof-Theoretic Semantics.Reinhard Kahle & Paulo Guilherme Santos - 2024 - In Thomas Piecha & Kai F. Wehmeier (eds.), Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 363-374.
    In this note, we review paradoxes like Russell’s, the Liar, and Curry’s in the context of intuitionistic logic. One may observe that one cannot blame the underlying logic for the paradoxes, but has to take into account the particular concept formations. For proof-theoretic semantics, however, this comes with the challenge to block some forms of direct axiomatizations of the Liar. A proper answer to this challenge might be given by Schroeder-Heister’s definitional freedom.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  20. X-Phi and Impartiality Thought Experiments: Investigating the Veil of Ignorance.Norbert Paulo & Thomas Pölzler - 2020 - Diametros 17 (64):72-89.
    This paper discusses “impartiality thought experiments”, i.e., thought experiments that attempt to generate intuitions which are unaffected by personal characteristics such as age, gender or race. We focus on the most prominent impartiality thought experiment, the Veil of Ignorance (VOI), and show that both in its original Rawlsian version and in a more generic version, empirical investigations can be normatively relevant in two ways: First, on the assumption that the VOI is effective and robust, if subjects dominantly favor a certain (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  21.  14
    As acepções de crítica no Kant pré-crítico.Paulo Borges de Santana Jr - 2024 - Trans/Form/Ação 47 (1):e0240080.
    One of the challenges of the Kantian research is to deal with the different meanings of the term critique, as well as to ask about the author’s possible motivation in choosing this term to title his main works. Through the emphasis on the fecundity of meaning of the term critique, we will show in this article that its connection with the establishment of limits to metaphysics was a sinuous process, which is capable of encompassing interests of heterogeneous natures. For this (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  13
    Two hundred years of the Brazilian economy (according to Liberals, Nationalists, and Marxists): dependency as a project?Pedro Paulo Zahluth Bastos - 2022 - Araucaria 24 (51).
    The paper presents stylized facts about the two hundred years of Brazilian economic history according to classical liberals, nationalists, and Marxists. For this, some classic authors of each theoretical orientation are chosen according to the influence of their interpretations. While classical liberals praise economic dependence and criticize the political struggle to overcome the colonial and neo-colonial heritage, nationalists and Marxists, in different ways, criticize dependence and propose to overcome it politically. Marxists have never been in power in Brazil, but a (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  23.  2
    O bem-estar docente: um estudo exploratório com escolas portuguesas no estrangeiro.Ana Costa & Paulo César Dias - 2024 - Aprender-Caderno de Filosofia E Psicologia da Educação 31:204-215.
    O bem-estar dos docentes é um tema particularmente relevante e tem vindo a receber um interesse crescente. Contudo, são escassos os estudos em escolas no estrangeiro, motivo pelo qual se apresenta este trabalho que pretende explorar do bem-estar destes professores, em particular, descrever o seu bem-estar subjetivo e o bem-estar na escola, explorando o papel de variáveis pessoais e profissionais no bem-estar dos professores. Para isso, foi recolhida uma amostra de 58 docentes a lecionar em escolas portuguesas no estrangeiro, na (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24. Tonicidade e abertura vocálica na língua portuguesa quinhentista: três casos de toponímia oriental em exemplares datados de 1572 d'os Lusíadas.Emanuel Paulo Ramos - 1985 - Humanitas 37.
     
    Export citation  
     
    Bookmark  
  25.  32
    Mais que um, menos que muitos: a individuação e o programa filosófico de Simondon no “L'Individuation à la Lumière des Notions de Forme et d'Information ”.Paulo Vieira Neto - 2015 - Doispontos 12 (1).
    resumo: Há uma solidariedade entre o estilo do L'Individuation à la Lumière des Notions de Forme et d'Information e os princípios teóricos que a obra toma como ponto de partida para sua investigação dos diversos processos de individuação. Essa solidariedade torna o estilo da obra um programa filosófico que responde a demandas precisas quanto ao papel das ciências da natureza, das ciências humanas e da técnica, sua classificação, sua história e sua consistência teórica, demandas que pretendemos especificar no artigo. Ao (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26.  19
    Lispector’s Halo.Daae Jung & João Paulo Guimarães - 2023 - Angelaki 28 (2):33-44.
    In her last novella, The Hour of the Star, Lispector makes plain that the brilliance of life – any life whatever – lies in its capacity to endlessly contemplate itself and that as such it is inseparable from its mode of contemplation. As we will suggest in this article, Lispector’s view of life as living contemplation resonates with Giorgio Agamben’s conception of being as potentiality. In the last installment of his Homo Sacer series, The Use of Bodies, Agamben tries to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27.  30
    Nomes e significados imputados aos guarani falantes do Rio da Prata e da Cordillera Chiriguana.Protasio Paulo Langer - 2015 - Dialogos 19 (3):1389-1423.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  28. Ciência e religião : crença contra crença?Sergio Paulo Rouanet - 2010 - In Adauto Novaes (ed.), Mutações: a invenção das crenças. São Paulo, SP: Edições SESC SP.
     
    Export citation  
     
    Bookmark  
  29.  12
    O epicurismo de Erasmo.Luiz Paulo Rouanet - 2007 - Revista de Filosofia Aurora 19 (24):35.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  30. A Filosofia da Ciência em Augusto Comte: desvencilhando o pensamento comteano de mal-entendidos históricos.Denis Paulo Goldfarb, Domingos Gomes Rodrigues, Onofre Crossi Filho & Rita De Cássia Foelker - 2012 - Revista Inquietude 3 (2):32-55.
    The intention of the present paper is to resettle the importance of the Comte’s thought to the philosophy of science. To do so, we discard certain prejudices about positivism and reassess certain comtean’s concepts, such as the three states law, the science’s classification and the role of hypotheses in order to restore its relevance in the background of the history of the philosophy.
     
    Export citation  
     
    Bookmark  
  31.  33
    Studying the Efficacy of Psychodrama With the Hermeneutic Single Case Efficacy Design: Results From a Longitudinal Study.António-José Gonzalez, Paulo Martins & Margarida Pedroso de Lima - 2018 - Frontiers in Psychology 9:403530.
    Throughout the last decades, scientific and therapeutic communities have made common efforts to collect reliable information concerning the efficacy of psychotherapies. One of these initiatives has, recently, involved the psychodrama community and its desire to achieve progress in the validation of this therapy. Based on Robert Elliot's Hermeneutic Single Case Efficacy Design (HSCED), we followed five participants (3 women, 2 men, aged 27-48) of a psychodrama group over the course of their therapeutic process, which ranged from 24 months to 5 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32.  16
    The human experiential field.Paulo Roberto Grangeiro Rodrigues - 2023 - Journal of Theoretical and Philosophical Psychology 43 (4):185-196.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  33. Professor em Ambiente com TIC.Luís Paulo Leopoldo Mercado & Paulo Marinho Gomes - 2007 - Quaestio: Revista de Estudos Em Educação 9 (1).
    No categories
     
    Export citation  
     
    Bookmark  
  34.  28
    Discursos religiosos e sociedade democrática.Alberto Paulo Neto & Ildo Perondi - 2017 - Horizonte 15 (47):828-854.
    O artigo investiga a pertinência dos discursos religiosos para a construção da sociedade democrática. A contemporaneidade filosófica tem observado que as religiões podem contribuir para a realização do objetivo de fraternidade e solidariedade entre os cidadãos com distintas orientações axiológicas. A teoria do discurso de Jürgen Habermas analisa que as sociedades contemporâneas estão vivenciando o processo de pós-secularização e o ressurgimento das religiões na esfera pública. O filósofo alemão considera que as instituições religiosas têm o conteúdo normativo e a legitimidade (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  35.  44
    The Value of Marx, Marx's 'Capital'.Paulo dos Santos - 2007 - Historical Materialism 15 (2):218-232.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  36.  24
    Interview with Cynthia McLeod.Paulo Gustavo Pellegrino Correa & Natali Fabiana Da Costa E. Silva - 2020 - Dialogos 24 (2):417-426.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  37.  12
    Aby Warburg e nós.Pedro Paulo Pimenta - 2016 - Discurso 46 (1):251-254.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  19
    Discurso em resenha 2.Pedro Paulo Pimenta & Pedro Galé - 2020 - Discurso 50 (2):325-337.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  24
    An Application of Logic Engineering.Sheila Veloso, Paulo Veloso & Renata de Freitas - 2005 - Logic Journal of the IGPL 13 (1):29-46.
    We consider a paradigm of applications of Logic Engineering to illustrate the information interchange among different areas of knowledge, through the formal approach to some aspects of computing. We apply the paradigm to the area of distributed systems, taking the demand for specification formalisms, treated in three areas of knowledge: modal logics, first-order logic and algebra. In doing so, we obtain transfer of intuitions and results, establishing that, as far as input/output representation is concerned, these three formalisms are equivalent.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40. Considerações de Brouwer sobre espaço e infinitude: O idealismo de Brouwer Diante do Problema Apresentado por Dummett Quanto à Possibilidade Teórica de uma Infinitude Espacial.Paulo Júnio de Oliveira - 2019 - Kinesis 11:94-108.
    Resumo Neste artigo, será discutida a noção de “infinitude cardinal” – a qual seria predicada de um “conjunto” – e a noção de “infinitude ordinal” – a qual seria predicada de um “processo”. A partir dessa distinção conceitual, será abordado o principal problema desse artigo, i.e., o problema da possibilidade teórica de uma infinitude de estrelas tratado por Dummett em sua obra Elements of Intuitionism. O filósofo inglês sugere que, mesmo diante dessa possibilidade teórica, deveria ser possível predicar apenas infinitude (...)
     
    Export citation  
     
    Bookmark  
  41.  14
    A Nova Paróquia e a solicitude pelos pobres: o compromisso cristão no mundo.Rodrigo Fernando Alves - 2016 - Revista de Teologia 10 (17):94-106.
    The New Parish, beloved by the most recent church documents, meets several challenges for its renewal, among them the caring for the poor. This commitment, the agape expression of Christ, is fundamental in this world in which the seeds of individualism and neo-paganism are gaining strength. Thus, in an exercise of systematic theology that re-connects biblical theology and pastoral, an important way is to look at the caring for the poor in the example of the Apostle Paul. Paul organized a (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  42. Hume on singular experiences.João Paulo Monteiro - 1987 - Manuscrito 20 (2):123-144.
  43.  24
    As Ciências Humanas em tempos de mercantilização da educação.Paulo Sérgio Gomes Soares - 2020 - Conjectura: Filosofia E Educação 25:34-54.
    Com o rápido desenvolvimento da técnica e da tecnologia, o campo educacional tem se mostrado estratégico para transformar a racionalidade humana em racionalidade tecnológica, alterando a consecução dos fins da própria Educação. O objetivo do artigo é analisar as contradições entre o processo de reprodução da vida material nas sociedades capitalistas e a perda de liberdade dos indivíduos inseridos e ajustados aos seus critérios e, da mesma forma, o ajustamento dos estudantes às demandas socialmente úteis ao sistema em decorrência da (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  44.  21
    The herbrand functional interpretation of the double negation shift.Martín Escardó & Paulo Oliva - 2017 - Journal of Symbolic Logic 82 (2):590-607.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  45.  36
    Religiosity, Political Orientation, and Consequentialist Moral Thinking.Jared Piazza & Paulo Sousa - 2013 - Social Psychological and Personality Science.
    Direct download  
     
    Export citation  
     
    Bookmark   26 citations  
  46. A concepção filosófica de Tobias Barreto.Paulo Campos Côrtes - 1980 - Rio de Janeiro: [S.N.].
     
    Export citation  
     
    Bookmark  
  47.  12
    Os índios do Ceará na Revolução Pernambucana de 1817.João Paulo Peixoto Costa - 2017 - Dialogos 21 (3):39-50.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  48.  10
    One More Story: Racial Relations and Stereotypes in Brazilian Literature.Paulo V. Baptista da Silva - 2012 - Diogenes 59 (3-4):168-180.
  49.  42
    A arte de crer na contemporaneidade: possibilidades e limites do cristianismo segundo Gianni Vattimo. 2012.Marcos Paulo de Oliveira Bueno - 2013 - Horizonte 11 (29):417-418.
    DISSERTAÇÃO DE MESTRADO BUENO, Marcos Paulo de Oliveira. A arte de crer na contemporaneidade : possibilidades e limites do cristianismo segundo Gianni Vattimo. 2012. 127 folhas. Dissertação (Mestrado) – Pontifícia Universidade Católica de Minas Gerais, Programa de Pós-graduação em Ciências da Religião, Belo Horizonte.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  50.  42
    Bounded functional interpretation and feasible analysis.Fernando Ferreira & Paulo Oliva - 2007 - Annals of Pure and Applied Logic 145 (2):115-129.
    In this article we study applications of the bounded functional interpretation to theories of feasible arithmetic and analysis. The main results show that the novel interpretation is sound for considerable generalizations of weak König’s Lemma, even in the presence of very weak induction. Moreover, when this is combined with Cook and Urquhart’s variant of the functional interpretation, one obtains effective versions of conservation results regarding weak König’s Lemma which have been so far only obtained non-constructively.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
1 — 50 / 952