Filtros : "TEORIA DOS MODELOS" "Miraglia Neto, Francisco" Removido: "MIRAGLIA NETTO, FRANCISCO" Limpar

Filtros



Refine with date range


  • 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: 01 nov. 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 nov. 01 ] 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 nov. 01 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-20230727-113217/
  • Source: Proceedings. Conference titles: Séminaire de structures algébriques ordonnées : 2011-2012. Unidade: IME

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

    Versão PublicadaHow 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. 2013, Anais.. Paris: Institut de mathématiques de Jussieu, 2013. Disponível em: https://repositorio.usp.br/directbitstream/c46f0c5d-8294-44cd-8838-4725ea0ee582/3199433_-_The_Boolean_and_Profinite_Hulls_of_Reduced_Special_Groups.pdf. Acesso em: 01 nov. 2024.
    • APA

      Mariano, H. L., & Miraglia Neto, F. (2013). The Boolean and profinite hulls of reduced special groups. In Proceedings. Paris: Institut de mathématiques de Jussieu. Recuperado de https://repositorio.usp.br/directbitstream/c46f0c5d-8294-44cd-8838-4725ea0ee582/3199433_-_The_Boolean_and_Profinite_Hulls_of_Reduced_Special_Groups.pdf
    • NLM

      Mariano HL, Miraglia Neto F. The Boolean and profinite hulls of reduced special groups [Internet]. Proceedings. 2013 ;[citado 2024 nov. 01 ] Available from: https://repositorio.usp.br/directbitstream/c46f0c5d-8294-44cd-8838-4725ea0ee582/3199433_-_The_Boolean_and_Profinite_Hulls_of_Reduced_Special_Groups.pdf
    • Vancouver

      Mariano HL, Miraglia Neto F. The Boolean and profinite hulls of reduced special groups [Internet]. Proceedings. 2013 ;[citado 2024 nov. 01 ] Available from: https://repositorio.usp.br/directbitstream/c46f0c5d-8294-44cd-8838-4725ea0ee582/3199433_-_The_Boolean_and_Profinite_Hulls_of_Reduced_Special_Groups.pdf
  • 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: 01 nov. 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 nov. 01 ] 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 nov. 01 ] Available from: https://doi.org/10.1093/jigpal/jzs013
  • 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: 01 nov. 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 nov. 01 ] 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 nov. 01 ] Available from: https://doi.org/10.1007/s11225-010-9301-3
  • 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: 01 nov. 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 nov. 01 ] 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 nov. 01 ] Available from: https://rml.tcs.uj.edu.pl/rml-42/10-mariano.pdf
  • Source: Logic Journal of IGPL. Unidade: IME

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

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

      BRUNNER, Andreas Bernhard Michael e MIRAGLIA NETO, Francisco. An omitting types theorem for sheaves over topological spaces. Logic Journal of IGPL, v. 12, n. 6, p. 525-548, 2004Tradução . . Disponível em: https://doi.org/10.1093/jigpal/12.6.525. Acesso em: 01 nov. 2024.
    • APA

      Brunner, A. B. M., & Miraglia Neto, F. (2004). An omitting types theorem for sheaves over topological spaces. Logic Journal of IGPL, 12( 6), 525-548. doi:10.1093/jigpal/12.6.525
    • NLM

      Brunner ABM, Miraglia Neto F. An omitting types theorem for sheaves over topological spaces [Internet]. Logic Journal of IGPL. 2004 ; 12( 6): 525-548.[citado 2024 nov. 01 ] Available from: https://doi.org/10.1093/jigpal/12.6.525
    • Vancouver

      Brunner ABM, Miraglia Neto F. An omitting types theorem for sheaves over topological spaces [Internet]. Logic Journal of IGPL. 2004 ; 12( 6): 525-548.[citado 2024 nov. 01 ] Available from: https://doi.org/10.1093/jigpal/12.6.525
  • Source: Proceedings. Conference titles: Séminaire de structures algébriques ordonnées : 2002-2003. Unidade: IME

    Subjects: TEORIA DAS CATEGORIAS, TEORIA DOS MODELOS

    Versão PublicadaHow 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. 2004, Anais.. Paris: Université Paris 7, 2004. Disponível em: https://repositorio.usp.br/directbitstream/07d4dd1e-fdbd-48ac-8725-842d2f22ed58/3199511.pdf. Acesso em: 01 nov. 2024.
    • APA

      Mariano, H. L., & Miraglia Neto, F. (2004). Profinite structures are retracts of ultraproducts of finite structures. In Proceedings. Paris: Université Paris 7. Recuperado de https://repositorio.usp.br/directbitstream/07d4dd1e-fdbd-48ac-8725-842d2f22ed58/3199511.pdf
    • NLM

      Mariano HL, Miraglia Neto F. Profinite structures are retracts of ultraproducts of finite structures [Internet]. Proceedings. 2004 ;[citado 2024 nov. 01 ] Available from: https://repositorio.usp.br/directbitstream/07d4dd1e-fdbd-48ac-8725-842d2f22ed58/3199511.pdf
    • Vancouver

      Mariano HL, Miraglia Neto F. Profinite structures are retracts of ultraproducts of finite structures [Internet]. Proceedings. 2004 ;[citado 2024 nov. 01 ] Available from: https://repositorio.usp.br/directbitstream/07d4dd1e-fdbd-48ac-8725-842d2f22ed58/3199511.pdf
  • Source: Alguns Tabalhos do IME-USP para o 11° SIICUSP. Conference titles: Simpósio Internacional de Iniciação Científica da USP. Unidade: IME

    Assunto: TEORIA DOS MODELOS

    Versão PublicadaHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      LOPES, Vinicius Cifú e MIRAGLIA NETO, Francisco. Alguns exemplos de teoria dos modelos. 2004, Anais.. São Paulo: IME-USP, 2004. Disponível em: https://repositorio.usp.br/directbitstream/8bf2b2e7-3e9c-40fd-b8d1-8b39d033f39a/1395740.pdf. Acesso em: 01 nov. 2024.
    • APA

      Lopes, V. C., & Miraglia Neto, F. (2004). Alguns exemplos de teoria dos modelos. In Alguns Tabalhos do IME-USP para o 11° SIICUSP. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/8bf2b2e7-3e9c-40fd-b8d1-8b39d033f39a/1395740.pdf
    • NLM

      Lopes VC, Miraglia Neto F. Alguns exemplos de teoria dos modelos [Internet]. Alguns Tabalhos do IME-USP para o 11° SIICUSP. 2004 ;[citado 2024 nov. 01 ] Available from: https://repositorio.usp.br/directbitstream/8bf2b2e7-3e9c-40fd-b8d1-8b39d033f39a/1395740.pdf
    • Vancouver

      Lopes VC, Miraglia Neto F. Alguns exemplos de teoria dos modelos [Internet]. Alguns Tabalhos do IME-USP para o 11° SIICUSP. 2004 ;[citado 2024 nov. 01 ] Available from: https://repositorio.usp.br/directbitstream/8bf2b2e7-3e9c-40fd-b8d1-8b39d033f39a/1395740.pdf
  • Source: Journal of Symbolic Logic. Unidade: IME

    Assunto: TEORIA DOS MODELOS

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

      DICKMANN, Maximo Alejandro e MIRAGLIA NETO, Francisco. Elementary properties of the Boolean hull and reduced quotient functors. Journal of Symbolic Logic, v. 68, n. 3, p. 946-971, 2003Tradução . . Disponível em: https://doi.org/10.2178/jsl/1058448449. Acesso em: 01 nov. 2024.
    • APA

      Dickmann, M. A., & Miraglia Neto, F. (2003). Elementary properties of the Boolean hull and reduced quotient functors. Journal of Symbolic Logic, 68( 3), 946-971. doi:10.2178/jsl/1058448449
    • NLM

      Dickmann MA, Miraglia Neto F. Elementary properties of the Boolean hull and reduced quotient functors [Internet]. Journal of Symbolic Logic. 2003 ; 68( 3): 946-971.[citado 2024 nov. 01 ] Available from: https://doi.org/10.2178/jsl/1058448449
    • Vancouver

      Dickmann MA, Miraglia Neto F. Elementary properties of the Boolean hull and reduced quotient functors [Internet]. Journal of Symbolic Logic. 2003 ; 68( 3): 946-971.[citado 2024 nov. 01 ] Available from: https://doi.org/10.2178/jsl/1058448449
  • Source: Proceedings. Conference titles: Séminaire de structures algébriques ordonnées : 2000-2001. Unidade: IME

    Assunto: TEORIA DOS MODELOS

    Versão PublicadaHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      DICKMANN, Max e MIRAGLIA NETO, Francisco. Elementary properties of the Boolean hull functor. 2002, Anais.. Paris: Université Paris 7, 2002. Disponível em: https://repositorio.usp.br/directbitstream/c2f95dd8-8814-4405-a7e2-b62c54867502/3199527.pdf. Acesso em: 01 nov. 2024.
    • APA

      Dickmann, M., & Miraglia Neto, F. (2002). Elementary properties of the Boolean hull functor. In Proceedings. Paris: Université Paris 7. Recuperado de https://repositorio.usp.br/directbitstream/c2f95dd8-8814-4405-a7e2-b62c54867502/3199527.pdf
    • NLM

      Dickmann M, Miraglia Neto F. Elementary properties of the Boolean hull functor [Internet]. Proceedings. 2002 ;[citado 2024 nov. 01 ] Available from: https://repositorio.usp.br/directbitstream/c2f95dd8-8814-4405-a7e2-b62c54867502/3199527.pdf
    • Vancouver

      Dickmann M, Miraglia Neto F. Elementary properties of the Boolean hull functor [Internet]. Proceedings. 2002 ;[citado 2024 nov. 01 ] Available from: https://repositorio.usp.br/directbitstream/c2f95dd8-8814-4405-a7e2-b62c54867502/3199527.pdf
  • Unidade: IME

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

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

      BRUNNER, Andreas Bernhard Michael. O método das constantes na teoria dos modelos em feixes sobre uma álgebra de Heyting. 2000. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2000. Disponível em: https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-123425/. Acesso em: 01 nov. 2024.
    • APA

      Brunner, A. B. M. (2000). O método das constantes na teoria dos modelos em feixes sobre uma álgebra de Heyting (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-123425/
    • NLM

      Brunner ABM. O método das constantes na teoria dos modelos em feixes sobre uma álgebra de Heyting [Internet]. 2000 ;[citado 2024 nov. 01 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-123425/
    • Vancouver

      Brunner ABM. O método das constantes na teoria dos modelos em feixes sobre uma álgebra de Heyting [Internet]. 2000 ;[citado 2024 nov. 01 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-123425/
  • Source: Methods and applications of mathematical logic. Conference titles: Latin American Symposium of Mathematical Logic. Unidade: IME

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

    PrivadoHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      MIRAGLIA NETO, Francisco. The downward Lowenheim-Skolem theorem for L-structures in Ω-sets. 1988, Anais.. Providence: Ams, 1988. Disponível em: https://repositorio.usp.br/directbitstream/e3d7890e-fd56-4e38-bdea-c0a70c338aa7/776244.pdf. Acesso em: 01 nov. 2024.
    • APA

      Miraglia Neto, F. (1988). The downward Lowenheim-Skolem theorem for L-structures in Ω-sets. In Methods and applications of mathematical logic. Providence: Ams. Recuperado de https://repositorio.usp.br/directbitstream/e3d7890e-fd56-4e38-bdea-c0a70c338aa7/776244.pdf
    • NLM

      Miraglia Neto F. The downward Lowenheim-Skolem theorem for L-structures in Ω-sets [Internet]. Methods and applications of mathematical logic. 1988 ;[citado 2024 nov. 01 ] Available from: https://repositorio.usp.br/directbitstream/e3d7890e-fd56-4e38-bdea-c0a70c338aa7/776244.pdf
    • Vancouver

      Miraglia Neto F. The downward Lowenheim-Skolem theorem for L-structures in Ω-sets [Internet]. Methods and applications of mathematical logic. 1988 ;[citado 2024 nov. 01 ] Available from: https://repositorio.usp.br/directbitstream/e3d7890e-fd56-4e38-bdea-c0a70c338aa7/776244.pdf
  • Source: Boletim da Sociedade Brasileira de Matemática. Unidade: IME

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

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

      MIRAGLIA NETO, Francisco. On the preservation of elementary equivalence and embedding by bounded filtered powers and structures of stable continuous functions. Boletim da Sociedade Brasileira de Matemática, v. 14, n. 1, p. 81-86, 1983Tradução . . Disponível em: https://doi.org/10.1007/bf02584746. Acesso em: 01 nov. 2024.
    • APA

      Miraglia Neto, F. (1983). On the preservation of elementary equivalence and embedding by bounded filtered powers and structures of stable continuous functions. Boletim da Sociedade Brasileira de Matemática, 14( 1), 81-86. doi:10.1007/bf02584746
    • NLM

      Miraglia Neto F. On the preservation of elementary equivalence and embedding by bounded filtered powers and structures of stable continuous functions [Internet]. Boletim da Sociedade Brasileira de Matemática. 1983 ; 14( 1): 81-86.[citado 2024 nov. 01 ] Available from: https://doi.org/10.1007/bf02584746
    • Vancouver

      Miraglia Neto F. On the preservation of elementary equivalence and embedding by bounded filtered powers and structures of stable continuous functions [Internet]. Boletim da Sociedade Brasileira de Matemática. 1983 ; 14( 1): 81-86.[citado 2024 nov. 01 ] Available from: https://doi.org/10.1007/bf02584746
  • Source: Collected papers dedicated to Professor Edison Farah on the occasion of his retiremen. Unidade: IME

    Assunto: TEORIA DOS MODELOS

    Versão PublicadaHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      MIRAGLIA NETO, Francisco. On the preservation of elementary equivalence and embedding by bounded filtered powers and structures of stable continuous functions. Collected papers dedicated to Professor Edison Farah on the occasion of his retiremen. Tradução . São Paulo: IME-USP, 1982. . Disponível em: https://repositorio.usp.br/directbitstream/14a0742a-21e2-4752-a52b-d3b5ae194107/3164553.pdf. Acesso em: 01 nov. 2024.
    • APA

      Miraglia Neto, F. (1982). On the preservation of elementary equivalence and embedding by bounded filtered powers and structures of stable continuous functions. In Collected papers dedicated to Professor Edison Farah on the occasion of his retiremen. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/14a0742a-21e2-4752-a52b-d3b5ae194107/3164553.pdf
    • NLM

      Miraglia Neto F. On the preservation of elementary equivalence and embedding by bounded filtered powers and structures of stable continuous functions [Internet]. In: Collected papers dedicated to Professor Edison Farah on the occasion of his retiremen. São Paulo: IME-USP; 1982. [citado 2024 nov. 01 ] Available from: https://repositorio.usp.br/directbitstream/14a0742a-21e2-4752-a52b-d3b5ae194107/3164553.pdf
    • Vancouver

      Miraglia Neto F. On the preservation of elementary equivalence and embedding by bounded filtered powers and structures of stable continuous functions [Internet]. In: Collected papers dedicated to Professor Edison Farah on the occasion of his retiremen. São Paulo: IME-USP; 1982. [citado 2024 nov. 01 ] Available from: https://repositorio.usp.br/directbitstream/14a0742a-21e2-4752-a52b-d3b5ae194107/3164553.pdf
  • Unidade: IME

    Subjects: 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

      ABUD, Zara Issa. Dualidade de stone: uma aplicacao a logica e a algebra. 1979. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 1979. Disponível em: https://teses.usp.br/teses/disponiveis/45/45131/tde-20220712-112642/. Acesso em: 01 nov. 2024.
    • APA

      Abud, Z. I. (1979). Dualidade de stone: uma aplicacao a logica e a algebra (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45131/tde-20220712-112642/
    • NLM

      Abud ZI. Dualidade de stone: uma aplicacao a logica e a algebra [Internet]. 1979 ;[citado 2024 nov. 01 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-20220712-112642/
    • Vancouver

      Abud ZI. Dualidade de stone: uma aplicacao a logica e a algebra [Internet]. 1979 ;[citado 2024 nov. 01 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-20220712-112642/

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