Menu

Filtros : "TEORIA DOS MODELOS" Limpar

Filtros

Refine with date range

1 - 20 (34 records)

  • Artigo de periodico

    Horn filter pairs and Craig interpolation in propositional logic (2023)

    Arndt, Peter ; Mariano, Hugo Luiz ; Pinto, Darllan Conceição

    Source: Boletin de Matematicas. Unidade: IME

    Subjects: LÓGICA ALGÉBRICA, TEORIA DOS MODELOS

    Versão PublicadaAcesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      ARNDT, Peter e MARIANO, Hugo Luiz e PINTO, Darllan Conceição. Horn filter pairs and Craig interpolation in propositional logic. Boletin de Matematicas, v. 30, n. 2, p. 1-5, 2023Tradução . . Disponível em: https://revistas.unal.edu.co/index.php/bolma/article/view/112563. Acesso em: 23 maio 2024.

    • APA

      Arndt, P., Mariano, H. L., & Pinto, D. C. (2023). Horn filter pairs and Craig interpolation in propositional logic. Boletin de Matematicas, 30( 2), 1-5. Recuperado de https://revistas.unal.edu.co/index.php/bolma/article/view/112563

    • NLM

      Arndt P, Mariano HL, Pinto DC. Horn filter pairs and Craig interpolation in propositional logic [Internet]. Boletin de Matematicas. 2023 ; 30( 2): 1-5.[citado 2024 maio 23 ] Available from: https://revistas.unal.edu.co/index.php/bolma/article/view/112563

    • Vancouver

      Arndt P, Mariano HL, Pinto DC. Horn filter pairs and Craig interpolation in propositional logic [Internet]. Boletin de Matematicas. 2023 ; 30( 2): 1-5.[citado 2024 maio 23 ] Available from: https://revistas.unal.edu.co/index.php/bolma/article/view/112563

  • Dissertação (Mestrado)

    Open Coloring Axiom e aplicações de colorações (2023)

    Souza, Thales Sarinho Galvão Santos de; Aurichi, Leandro Fiorini (Orientador)

    Unidade: ICMC

    Subjects: TEORIA DOS CONJUNTOS, TEORIA DOS JOGOS, TEORIA DOS MODELOS, TOPOLOGIA

    Acesso à fonteAcesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      SOUZA, Thales Sarinho Galvão Santos de. Open Coloring Axiom e aplicações de colorações. 2023. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2023. Disponível em: https://www.teses.usp.br/teses/disponiveis/55/55135/tde-17012024-121925/. Acesso em: 23 maio 2024.

    • APA

      Souza, T. S. G. S. de. (2023). Open Coloring Axiom e aplicações de colorações (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de https://www.teses.usp.br/teses/disponiveis/55/55135/tde-17012024-121925/

    • NLM

      Souza TSGS de. Open Coloring Axiom e aplicações de colorações [Internet]. 2023 ;[citado 2024 maio 23 ] Available from: https://www.teses.usp.br/teses/disponiveis/55/55135/tde-17012024-121925/

    • Vancouver

      Souza TSGS de. Open Coloring Axiom e aplicações de colorações [Internet]. 2023 ;[citado 2024 maio 23 ] Available from: https://www.teses.usp.br/teses/disponiveis/55/55135/tde-17012024-121925/

  • Artigo de periodico

    Aprendizagem por projetos sociais: integração de conteúdos morais à representação de si de jovens (2021)

    Silva, Marco Antonio Morgado da ; Araújo, Ulisses Ferreira de

    Source: ETD Educacao Tematica Digital. Unidade: EACH

    Subjects: EDUCAÇÃO MORAL, IDENTIDADE, ADOLESCENTES, VALORES PESSOAIS, APRENDIZAGEM BASEADA EM PROJETOS, TEORIA DOS MODELOS

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      SILVA, Marco Antonio Morgado da e ARAÚJO, Ulisses Ferreira de. Aprendizagem por projetos sociais: integração de conteúdos morais à representação de si de jovens. ETD Educacao Tematica Digital, v. 23, n. 4, p. 1061-1078, 2021Tradução . . Disponível em: https://doi.org/10.20396/etd.v23i4.8659662. Acesso em: 23 maio 2024.

    • APA

      Silva, M. A. M. da, & Araújo, U. F. de. (2021). Aprendizagem por projetos sociais: integração de conteúdos morais à representação de si de jovens. ETD Educacao Tematica Digital, 23( 4), 1061-1078. doi:10.20396/etd.v23i4.8659662

    • NLM

      Silva MAM da, Araújo UF de. Aprendizagem por projetos sociais: integração de conteúdos morais à representação de si de jovens [Internet]. ETD Educacao Tematica Digital. 2021 ; 23( 4): 1061-1078.[citado 2024 maio 23 ] Available from: https://doi.org/10.20396/etd.v23i4.8659662

    • Vancouver

      Silva MAM da, Araújo UF de. Aprendizagem por projetos sociais: integração de conteúdos morais à representação de si de jovens [Internet]. ETD Educacao Tematica Digital. 2021 ; 23( 4): 1061-1078.[citado 2024 maio 23 ] Available from: https://doi.org/10.20396/etd.v23i4.8659662

  • Tese (Doutorado)

    Integração de valores morais às representações de si de adolescentes (2020)

    Silva, Marco Antonio Morgado da; Araújo, Ulisses Ferreira de (Orientador)

    Unidade: FE

    Subjects: TEORIA DOS MODELOS, MORAL, ADOLESCENTES

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      SILVA, Marco Antonio Morgado da. Integração de valores morais às representações de si de adolescentes. 2020. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2020. Disponível em: https://www.teses.usp.br/teses/disponiveis/48/48134/tde-29092020-162754/. Acesso em: 23 maio 2024.

    • APA

      Silva, M. A. M. da. (2020). Integração de valores morais às representações de si de adolescentes (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/48/48134/tde-29092020-162754/

    • NLM

      Silva MAM da. Integração de valores morais às representações de si de adolescentes [Internet]. 2020 ;[citado 2024 maio 23 ] Available from: https://www.teses.usp.br/teses/disponiveis/48/48134/tde-29092020-162754/

    • Vancouver

      Silva MAM da. Integração de valores morais às representações de si de adolescentes [Internet]. 2020 ;[citado 2024 maio 23 ] Available from: https://www.teses.usp.br/teses/disponiveis/48/48134/tde-29092020-162754/

  • Mestrado Profissionalizante

    O uso da modelagem matemática no ensino de funções: uma abordagem dinâmica e variacional (2019)

    Ramunno, Ronaldo; Bianconi, Ricardo (Orientador)

    Unidade: IME

    Subjects: MODELOS MATEMÁTICOS, TEORIA DOS MODELOS, EDUCAÇÃO MATEMÁTICA, ENSINO MÉDIO

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      RAMUNNO, Ronaldo. O uso da modelagem matemática no ensino de funções: uma abordagem dinâmica e variacional. 2019. Mestrado Profissionalizante – Universidade de São Paulo, São Paulo, 2019. Disponível em: https://www.teses.usp.br/teses/disponiveis/45/45135/tde-06122019-095026/. Acesso em: 23 maio 2024.

    • APA

      Ramunno, R. (2019). O uso da modelagem matemática no ensino de funções: uma abordagem dinâmica e variacional (Mestrado Profissionalizante). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45135/tde-06122019-095026/

    • NLM

      Ramunno R. O uso da modelagem matemática no ensino de funções: uma abordagem dinâmica e variacional [Internet]. 2019 ;[citado 2024 maio 23 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45135/tde-06122019-095026/

    • Vancouver

      Ramunno R. O uso da modelagem matemática no ensino de funções: uma abordagem dinâmica e variacional [Internet]. 2019 ;[citado 2024 maio 23 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45135/tde-06122019-095026/

  • Artigo de periodico

    The finite model theory of Bayesian network specifications: Descriptive complexity and zero/one laws (2019)

    Cozman, Fabio Gagliardi ; Mauá, Denis Deratani

    Source: International Journal of Approximate Reasoning. Unidades: EP, IME

    Subjects: TEORIA DA COMPUTAÇÃO, TEORIA DOS MODELOS, AQUISIÇÃO DE CONHECIMENTO, LÓGICA MATEMÁTICA

    PrivadoAcesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      COZMAN, Fabio Gagliardi e MAUÁ, Denis Deratani. The finite model theory of Bayesian network specifications: Descriptive complexity and zero/one laws. International Journal of Approximate Reasoning, v. 110, p. 107-126, 2019Tradução . . Disponível em: https://doi.org/10.1016/j.ijar.2019.04.003. Acesso em: 23 maio 2024.

    • APA

      Cozman, F. G., & Mauá, D. D. (2019). The finite model theory of Bayesian network specifications: Descriptive complexity and zero/one laws. International Journal of Approximate Reasoning, 110, 107-126. doi:10.1016/j.ijar.2019.04.003

    • NLM

      Cozman FG, Mauá DD. The finite model theory of Bayesian network specifications: Descriptive complexity and zero/one laws [Internet]. International Journal of Approximate Reasoning. 2019 ; 110 107-126.[citado 2024 maio 23 ] Available from: https://doi.org/10.1016/j.ijar.2019.04.003

    • Vancouver

      Cozman FG, Mauá DD. The finite model theory of Bayesian network specifications: Descriptive complexity and zero/one laws [Internet]. International Journal of Approximate Reasoning. 2019 ; 110 107-126.[citado 2024 maio 23 ] Available from: https://doi.org/10.1016/j.ijar.2019.04.003

  • Dissertação (Mestrado)

    Minimal walks and applications (2018)

    Bordoni, Rafael de Lima; Tomita, Artur Hideyuki (Orientador)

    Unidade: IME

    Subjects: TOPOLOGIA, TEORIA DOS CONJUNTOS, TEORIA DOS MODELOS

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      BORDONI, Rafael de Lima. Minimal walks and applications. 2018. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2018. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-15022019-215130/. Acesso em: 23 maio 2024.

    • APA

      Bordoni, R. de L. (2018). Minimal walks and applications (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45131/tde-15022019-215130/

    • NLM

      Bordoni R de L. Minimal walks and applications [Internet]. 2018 ;[citado 2024 maio 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-15022019-215130/

    • Vancouver

      Bordoni R de L. Minimal walks and applications [Internet]. 2018 ;[citado 2024 maio 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-15022019-215130/

  • Dissertação (Mestrado)

    Cohomologia de feixes em estruturas O-minimais (2018)

    Gomes, Jonas Renan Moreira; Bianconi, Ricardo (Orientador)

    Unidade: IME

    Subjects: COHOMOLOGIA, FEIXES, TEORIA DOS MODELOS, LÓGICA MATEMÁTICA

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      GOMES, Jonas Renan Moreira. Cohomologia de feixes em estruturas O-minimais. 2018. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2018. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-15022019-105223/. Acesso em: 23 maio 2024.

    • APA

      Gomes, J. R. M. (2018). Cohomologia de feixes em estruturas O-minimais (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45131/tde-15022019-105223/

    • NLM

      Gomes JRM. Cohomologia de feixes em estruturas O-minimais [Internet]. 2018 ;[citado 2024 maio 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-15022019-105223/

    • Vancouver

      Gomes JRM. Cohomologia de feixes em estruturas O-minimais [Internet]. 2018 ;[citado 2024 maio 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-15022019-105223/

  • Artigo de periodico

    Model completeness for the real field with the Weierstrass ℘ function (2018)

    Bianconi, Ricardo

    Source: Proceedings of the Edinburgh Mathematical Society. Unidade: IME

    Subjects: TEORIA DOS MODELOS, CURVAS ELÍTICAS, FUNÇÕES ELÍTICAS

    PrivadoAcesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      BIANCONI, Ricardo. Model completeness for the real field with the Weierstrass ℘ function. Proceedings of the Edinburgh Mathematical Society, v. 61, n. 3 p. 811-823, 2018Tradução . . Disponível em: https://doi.org/10.1017/s001309151700044x. Acesso em: 23 maio 2024.

    • APA

      Bianconi, R. (2018). Model completeness for the real field with the Weierstrass ℘ function. Proceedings of the Edinburgh Mathematical Society, 61( 3 p. 811-823). doi:10.1017/s001309151700044x

    • NLM

      Bianconi R. Model completeness for the real field with the Weierstrass ℘ function [Internet]. Proceedings of the Edinburgh Mathematical Society. 2018 ; 61( 3 p. 811-823):[citado 2024 maio 23 ] Available from: https://doi.org/10.1017/s001309151700044x

    • Vancouver

      Bianconi R. Model completeness for the real field with the Weierstrass ℘ function [Internet]. Proceedings of the Edinburgh Mathematical Society. 2018 ; 61( 3 p. 811-823):[citado 2024 maio 23 ] Available from: https://doi.org/10.1017/s001309151700044x

  • Dissertação (Mestrado)

    Inferência em modelos de mistura via algoritmo EM estocástico modificado (2017)

    Assis, Raul Caram de; Milan, Luis Aparecido (Orientador)

    Unidade: INTER: ICMC -UF

    Subjects: CADEIAS DE MARKOV, TEORIA DOS MODELOS, INFERÊNCIA BAYESIANA, PROCESSOS ESTOCÁSTICOS

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      ASSIS, Raul Caram de. Inferência em modelos de mistura via algoritmo EM estocástico modificado. 2017. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2017. Disponível em: http://www.teses.usp.br/teses/disponiveis/104/104131/tde-11092017-093254/. Acesso em: 23 maio 2024.

    • APA

      Assis, R. C. de. (2017). Inferência em modelos de mistura via algoritmo EM estocástico modificado (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/104/104131/tde-11092017-093254/

    • NLM

      Assis RC de. Inferência em modelos de mistura via algoritmo EM estocástico modificado [Internet]. 2017 ;[citado 2024 maio 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/104/104131/tde-11092017-093254/

    • Vancouver

      Assis RC de. Inferência em modelos de mistura via algoritmo EM estocástico modificado [Internet]. 2017 ;[citado 2024 maio 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/104/104131/tde-11092017-093254/

  • Tese (Doutorado)

    A dimensão afetiva e a felicidade nos projetos de vida de jovens: um estudo na perspectiva da Teoria dos Modelos Organizadores do Pensamento (2016)

    Gomes, Maria Aparecida Gonçalves; Araujo, Valeria Amorim Arantes de (Orientador)

    Unidade: FE

    Subjects: VALORES, JOVENS, TEORIA DOS MODELOS

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      GOMES, Maria Aparecida Gonçalves. A dimensão afetiva e a felicidade nos projetos de vida de jovens: um estudo na perspectiva da Teoria dos Modelos Organizadores do Pensamento. 2016. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2016. Disponível em: http://www.teses.usp.br/teses/disponiveis/48/48134/tde-15022017-143235/. Acesso em: 23 maio 2024.

    • APA

      Gomes, M. A. G. (2016). A dimensão afetiva e a felicidade nos projetos de vida de jovens: um estudo na perspectiva da Teoria dos Modelos Organizadores do Pensamento (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/48/48134/tde-15022017-143235/

    • NLM

      Gomes MAG. A dimensão afetiva e a felicidade nos projetos de vida de jovens: um estudo na perspectiva da Teoria dos Modelos Organizadores do Pensamento [Internet]. 2016 ;[citado 2024 maio 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/48/48134/tde-15022017-143235/

    • Vancouver

      Gomes MAG. A dimensão afetiva e a felicidade nos projetos de vida de jovens: um estudo na perspectiva da Teoria dos Modelos Organizadores do Pensamento [Internet]. 2016 ;[citado 2024 maio 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/48/48134/tde-15022017-143235/

  • Trabalho de evento-anais periodico

    A really simple proof of the Artin-Schreier characterization of real closed fields (2016)

    Luciano, Odilon Otavio

    Source: South American Journal of Logic. Conference titles: Workshop Logic and Applications in honor to Francisco Miraglia by the occasion of his 70th birthday. Unidade: IME

    Subjects: TEORIA DOS CAMPOS, POLINÔMIOS, TEORIA DOS MODELOS

    Versão PublicadaAcesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      LUCIANO, Odilon Otavio. A really simple proof of the Artin-Schreier characterization of real closed fields. South American Journal of Logic. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: http://www.sa-logic.org/sajl-v2-i2/10-Luciano-SAJL.pdf. Acesso em: 23 maio 2024. , 2016

    • APA

      Luciano, O. O. (2016). A really simple proof of the Artin-Schreier characterization of real closed fields. South American Journal of Logic. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://www.sa-logic.org/sajl-v2-i2/10-Luciano-SAJL.pdf

    • NLM

      Luciano OO. A really simple proof of the Artin-Schreier characterization of real closed fields [Internet]. South American Journal of Logic. 2016 ; 2( 2): 361-377.[citado 2024 maio 23 ] Available from: http://www.sa-logic.org/sajl-v2-i2/10-Luciano-SAJL.pdf

    • Vancouver

      Luciano OO. A really simple proof of the Artin-Schreier characterization of real closed fields [Internet]. South American Journal of Logic. 2016 ; 2( 2): 361-377.[citado 2024 maio 23 ] Available from: http://www.sa-logic.org/sajl-v2-i2/10-Luciano-SAJL.pdf

  • Dissertação (Mestrado)

    Uma introdução à Geometria Algébrica Real (2014)

    Hornhardt, Caio De Naday; Miraglia Neto, Francisco (Orientador)

    Unidade: IME

    Subjects: GEOMETRIA ALGÉBRICA, GEOMETRIA ALGÉBRICA REAL, TEORIA DOS MODELOS

    Acesso à fonteAcesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      HORNHARDT, Caio De Naday. Uma introdução à Geometria Algébrica Real. 2014. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2014. Disponível em: https://teses.usp.br/teses/disponiveis/45/45131/tde-20230727-113217/. Acesso em: 23 maio 2024.

    • APA

      Hornhardt, C. D. N. (2014). Uma introdução à Geometria Algébrica Real (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45131/tde-20230727-113217/

    • NLM

      Hornhardt CDN. Uma introdução à Geometria Algébrica Real [Internet]. 2014 ;[citado 2024 maio 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-20230727-113217/

    • Vancouver

      Hornhardt CDN. Uma introdução à Geometria Algébrica Real [Internet]. 2014 ;[citado 2024 maio 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-20230727-113217/

  • Tese (Doutorado)

    Integração e regulação de valores e sentimentos nos projetos de vida de jovens: um estudo na perspectiva dos modelos organizadores do pensamento (2013)

    Pinheiro, Viviane Potenza Guimarães; Araujo, Valeria Amorim Arantes de (Orientador)

    Unidade: FE

    Subjects: MORAL, ADOLESCENTES, TEORIA DOS MODELOS

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      PINHEIRO, Viviane Potenza Guimarães. Integração e regulação de valores e sentimentos nos projetos de vida de jovens: um estudo na perspectiva dos modelos organizadores do pensamento. 2013. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2013. Disponível em: http://www.teses.usp.br/teses/disponiveis/48/48134/tde-04062013-133059/. Acesso em: 23 maio 2024.

    • APA

      Pinheiro, V. P. G. (2013). Integração e regulação de valores e sentimentos nos projetos de vida de jovens: um estudo na perspectiva dos modelos organizadores do pensamento (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/48/48134/tde-04062013-133059/

    • NLM

      Pinheiro VPG. Integração e regulação de valores e sentimentos nos projetos de vida de jovens: um estudo na perspectiva dos modelos organizadores do pensamento [Internet]. 2013 ;[citado 2024 maio 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/48/48134/tde-04062013-133059/

    • Vancouver

      Pinheiro VPG. Integração e regulação de valores e sentimentos nos projetos de vida de jovens: um estudo na perspectiva dos modelos organizadores do pensamento [Internet]. 2013 ;[citado 2024 maio 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/48/48134/tde-04062013-133059/

  • Dissertação (Mestrado)

    Um resultado geral de modelo completude de expansões do corpo ordenado dos reais (2012)

    Figueiredo, Rodrigo; Bianconi, Ricardo (Orientador)

    Unidade: IME

    Assunto: TEORIA DOS MODELOS

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      FIGUEIREDO, Rodrigo. Um resultado geral de modelo completude de expansões do corpo ordenado dos reais. 2012. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2012. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-01022013-171949/. Acesso em: 23 maio 2024.

    • APA

      Figueiredo, R. (2012). Um resultado geral de modelo completude de expansões do corpo ordenado dos reais (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45131/tde-01022013-171949/

    • NLM

      Figueiredo R. Um resultado geral de modelo completude de expansões do corpo ordenado dos reais [Internet]. 2012 ;[citado 2024 maio 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-01022013-171949/

    • Vancouver

      Figueiredo R. Um resultado geral de modelo completude de expansões do corpo ordenado dos reais [Internet]. 2012 ;[citado 2024 maio 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-01022013-171949/

  • Artigo de periodico

    The Boolean and profinite hulls of reduced special groups (2012)

    Mariano, Hugo Luiz ; Miraglia Neto, Francisco

    Source: Logic Journal of IGPL. Unidade: IME

    Subjects: NÚMEROS ALGÉBRICOS, TEORIA DOS MODELOS, TEORIA DAS CATEGORIAS, LÓGICA

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      MARIANO, Hugo Luiz e MIRAGLIA NETO, Francisco. The Boolean and profinite hulls of reduced special groups. Logic Journal of IGPL, v. 21, n. 2, p. 160-182, 2012Tradução . . Disponível em: https://doi.org/10.1093/jigpal/jzs013. Acesso em: 23 maio 2024.

    • APA

      Mariano, H. L., & Miraglia Neto, F. (2012). The Boolean and profinite hulls of reduced special groups. Logic Journal of IGPL, 21( 2), 160-182. doi:10.1093/jigpal/jzs013

    • NLM

      Mariano HL, Miraglia Neto F. The Boolean and profinite hulls of reduced special groups [Internet]. Logic Journal of IGPL. 2012 ; 21( 2): 160-182.[citado 2024 maio 23 ] Available from: https://doi.org/10.1093/jigpal/jzs013

    • Vancouver

      Mariano HL, Miraglia Neto F. The Boolean and profinite hulls of reduced special groups [Internet]. Logic Journal of IGPL. 2012 ; 21( 2): 160-182.[citado 2024 maio 23 ] Available from: https://doi.org/10.1093/jigpal/jzs013

  • Artigo de periodico

    The profinite hull of special groups and local-global principles (2011)

    Mariano, Hugo Luiz ; Miraglia Neto, Francisco

    Source: Studia Logica. Unidade: IME

    Subjects: TEORIA DOS MODELOS, NÚMEROS ALGÉBRICOS, GEOMETRIA ALGÉBRICA REAL, LÓGICA

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      MARIANO, Hugo Luiz e MIRAGLIA NETO, Francisco. The profinite hull of special groups and local-global principles. Studia Logica, v. 97, n. 1, p. 127-160, 2011Tradução . . Disponível em: https://doi.org/10.1007/s11225-010-9301-3. Acesso em: 23 maio 2024.

    • APA

      Mariano, H. L., & Miraglia Neto, F. (2011). The profinite hull of special groups and local-global principles. Studia Logica, 97( 1), 127-160. doi:10.1007/s11225-010-9301-3

    • NLM

      Mariano HL, Miraglia Neto F. The profinite hull of special groups and local-global principles [Internet]. Studia Logica. 2011 ; 97( 1): 127-160.[citado 2024 maio 23 ] Available from: https://doi.org/10.1007/s11225-010-9301-3

    • Vancouver

      Mariano HL, Miraglia Neto F. The profinite hull of special groups and local-global principles [Internet]. Studia Logica. 2011 ; 97( 1): 127-160.[citado 2024 maio 23 ] Available from: https://doi.org/10.1007/s11225-010-9301-3

  • Artigo de periodico

    Realizing profinite reduced special groups (2011)

    Astier, Vincent; Mariano, Hugo Luiz

    Source: Pacific Journal of Mathematics. Unidade: IME

    Subjects: TEORIA DOS MODELOS, NÚMEROS ALGÉBRICOS

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      ASTIER, Vincent e MARIANO, Hugo Luiz. Realizing profinite reduced special groups. Pacific Journal of Mathematics, v. 250, n. 2, p. 257-285, 2011Tradução . . Disponível em: https://doi.org/10.2140/pjm.2011.250.257. Acesso em: 23 maio 2024.

    • APA

      Astier, V., & Mariano, H. L. (2011). Realizing profinite reduced special groups. Pacific Journal of Mathematics, 250( 2), 257-285. doi:10.2140/pjm.2011.250.257

    • NLM

      Astier V, Mariano HL. Realizing profinite reduced special groups [Internet]. Pacific Journal of Mathematics. 2011 ; 250( 2): 257-285.[citado 2024 maio 23 ] Available from: https://doi.org/10.2140/pjm.2011.250.257

    • Vancouver

      Astier V, Mariano HL. Realizing profinite reduced special groups [Internet]. Pacific Journal of Mathematics. 2011 ; 250( 2): 257-285.[citado 2024 maio 23 ] Available from: https://doi.org/10.2140/pjm.2011.250.257

  • Artigo de periodico

    Definability in infinitary languages and invariance by automorphims (2010)

    Rodrigues, Alexandre Augusto Martins; Miranda Filho, Ricardo Carneiro de; Souza, Edelcio Gonçalves de

    Source: Reports on Mathematical Logic. Unidade: IME

    Subjects: TEORIA DOS MODELOS, INTERPOLAÇÃO

    Versão PublicadaAcesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      RODRIGUES, Alexandre Augusto Martins e MIRANDA FILHO, Ricardo Carneiro de e SOUZA, Edelcio Gonçalves de. Definability in infinitary languages and invariance by automorphims. Reports on Mathematical Logic, v. 45, p. 119-133, 2010Tradução . . Disponível em: https://rml.tcs.uj.edu.pl/rml-45/05-Rodriguez.pdf. Acesso em: 23 maio 2024.

    • APA

      Rodrigues, A. A. M., Miranda Filho, R. C. de, & Souza, E. G. de. (2010). Definability in infinitary languages and invariance by automorphims. Reports on Mathematical Logic, 45, 119-133. Recuperado de https://rml.tcs.uj.edu.pl/rml-45/05-Rodriguez.pdf

    • NLM

      Rodrigues AAM, Miranda Filho RC de, Souza EG de. Definability in infinitary languages and invariance by automorphims [Internet]. Reports on Mathematical Logic. 2010 ; 45 119-133.[citado 2024 maio 23 ] Available from: https://rml.tcs.uj.edu.pl/rml-45/05-Rodriguez.pdf

    • Vancouver

      Rodrigues AAM, Miranda Filho RC de, Souza EG de. Definability in infinitary languages and invariance by automorphims [Internet]. Reports on Mathematical Logic. 2010 ; 45 119-133.[citado 2024 maio 23 ] Available from: https://rml.tcs.uj.edu.pl/rml-45/05-Rodriguez.pdf

  • Artigo de periodico

    Profinite structures are retracts of ultraproducts of finite structures (2007)

    Mariano, Hugo Luiz ; Miraglia Neto, Francisco

    Source: Reports on Mathematical Logic. Unidade: IME

    Assunto: TEORIA DOS MODELOS

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      MARIANO, Hugo Luiz e MIRAGLIA NETO, Francisco. Profinite structures are retracts of ultraproducts of finite structures. Reports on Mathematical Logic, v. 42, p. 169-182, 2007Tradução . . Disponível em: https://rml.tcs.uj.edu.pl/rml-42/10-mariano.pdf. Acesso em: 23 maio 2024.

    • APA

      Mariano, H. L., & Miraglia Neto, F. (2007). Profinite structures are retracts of ultraproducts of finite structures. Reports on Mathematical Logic, 42, 169-182. Recuperado de https://rml.tcs.uj.edu.pl/rml-42/10-mariano.pdf

    • NLM

      Mariano HL, Miraglia Neto F. Profinite structures are retracts of ultraproducts of finite structures [Internet]. Reports on Mathematical Logic. 2007 ; 42 169-182.[citado 2024 maio 23 ] Available from: https://rml.tcs.uj.edu.pl/rml-42/10-mariano.pdf

    • Vancouver

      Mariano HL, Miraglia Neto F. Profinite structures are retracts of ultraproducts of finite structures [Internet]. Reports on Mathematical Logic. 2007 ; 42 169-182.[citado 2024 maio 23 ] Available from: https://rml.tcs.uj.edu.pl/rml-42/10-mariano.pdf

1 - 20 (34 records)

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