Exportar registro bibliográfico

A técnica de forcing e aplicações (2016)

  • Authors:
  • Autor USP: PEREIRA, JÚNIO LUAN - ICMC
  • Unidade: ICMC
  • Sigla do Departamento: SMA
  • Subjects: ÁLGEBRAS DE BOOLE; TOPOLOGIA; TEORIA DOS CONJUNTOS
  • Keywords: Aplicações; Applications; Forcing; Forcing
  • Language: Português
  • Abstract: O texto descreve a definição e formalização da técnica de forcing, através de uma abordagem direta, sem a conversão para modelos transitivos. Também usa esta abordagem para provar um certo número de teoremas de consistência no âmbito da aritmética de cardinais e afins
  • Imprenta:
  • Data da defesa: 18.03.2016
  • Acesso à fonte
    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      PEREIRA, Júnio Luan. A técnica de forcing e aplicações. 2016. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2016. Disponível em: https://teses.usp.br/teses/disponiveis/55/55135/tde-30092016-163940/. Acesso em: 23 mar. 2026.
    • APA

      Pereira, J. L. (2016). A técnica de forcing e aplicações (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de https://teses.usp.br/teses/disponiveis/55/55135/tde-30092016-163940/
    • NLM

      Pereira JL. A técnica de forcing e aplicações [Internet]. 2016 ;[citado 2026 mar. 23 ] Available from: https://teses.usp.br/teses/disponiveis/55/55135/tde-30092016-163940/
    • Vancouver

      Pereira JL. A técnica de forcing e aplicações [Internet]. 2016 ;[citado 2026 mar. 23 ] Available from: https://teses.usp.br/teses/disponiveis/55/55135/tde-30092016-163940/

    Últimas obras dos mesmos autores vinculados com a USP cadastradas na BDPI:

Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2026