ReP USP - Resultado da busca

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
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: 22 ago. 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 ago. 22 ] 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 ago. 22 ] Available from: https://revistas.unal.edu.co/index.php/bolma/article/view/112563
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
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: 22 ago. 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 ago. 22 ] 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 ago. 22 ] 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
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: 22 ago. 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 ago. 22 ] 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 ago. 22 ] 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
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: 22 ago. 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 ago. 22 ] 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 ago. 22 ] 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
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: 22 ago. 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 ago. 22 ] 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 ago. 22 ] 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
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: 22 ago. 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 ago. 22 ] 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 ago. 22 ] Available from: https://doi.org/10.1017/s001309151700044x
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
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: 22 ago. 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 ago. 22 ] 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 ago. 22 ] 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
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: 22 ago. 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 ago. 22 ] 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 ago. 22 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-20230727-113217/
Trabalho de evento
The Boolean and profinite hulls of reduced special groups (2013)
Mariano, Hugo Luiz ; Miraglia Neto, Francisco
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
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: 22 ago. 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 ago. 22 ] 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 ago. 22 ] Available from: https://repositorio.usp.br/directbitstream/c46f0c5d-8294-44cd-8838-4725ea0ee582/3199433_-_The_Boolean_and_Profinite_Hulls_of_Reduced_Special_Groups.pdf
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
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: 22 ago. 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 ago. 22 ] 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 ago. 22 ] 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
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: 22 ago. 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 ago. 22 ] 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 ago. 22 ] 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
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: 22 ago. 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 ago. 22 ] 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 ago. 22 ] 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
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: 22 ago. 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 ago. 22 ] 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 ago. 22 ] Available from: https://rml.tcs.uj.edu.pl/rml-42/10-mariano.pdf
Artigo de periodico
Definability and invariance (2007)
Costa, Newton Carneiro Affonso da; Rodrigues, Alexandre Augusto Martins
Source: Studia Logica. Unidade: IME
Subjects: TEORIA DOS MODELOS, LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
COSTA, Newton Carneiro Affonso da e RODRIGUES, Alexandre Augusto Martins. Definability and invariance. Studia Logica, v. 86, n. 1, p. 1-30, 2007Tradução . . Disponível em: https://doi.org/10.1007/s11225-007-9049-6. Acesso em: 22 ago. 2024.
APA
Costa, N. C. A. da, & Rodrigues, A. A. M. (2007). Definability and invariance. Studia Logica, 86( 1), 1-30. doi:10.1007/s11225-007-9049-6
NLM
Costa NCA da, Rodrigues AAM. Definability and invariance [Internet]. Studia Logica. 2007 ; 86( 1): 1-30.[citado 2024 ago. 22 ] Available from: https://doi.org/10.1007/s11225-007-9049-6
Vancouver
Costa NCA da, Rodrigues AAM. Definability and invariance [Internet]. Studia Logica. 2007 ; 86( 1): 1-30.[citado 2024 ago. 22 ] Available from: https://doi.org/10.1007/s11225-007-9049-6
Artigo de periodico
Undefinability results in o-minimal expansions of the real numbers (2005)
Bianconi, Ricardo
Source: Annals of Pure and Applied Logic. Unidade: IME
Assunto: TEORIA DOS MODELOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BIANCONI, Ricardo. Undefinability results in o-minimal expansions of the real numbers. Annals of Pure and Applied Logic, v. 134, n. 1, p. 43-51, 2005Tradução . . Disponível em: https://doi.org/10.1016/j.apal.2004.06.010. Acesso em: 22 ago. 2024.
APA
Bianconi, R. (2005). Undefinability results in o-minimal expansions of the real numbers. Annals of Pure and Applied Logic, 134( 1), 43-51. doi:10.1016/j.apal.2004.06.010
NLM
Bianconi R. Undefinability results in o-minimal expansions of the real numbers [Internet]. Annals of Pure and Applied Logic. 2005 ; 134( 1): 43-51.[citado 2024 ago. 22 ] Available from: https://doi.org/10.1016/j.apal.2004.06.010
Vancouver
Bianconi R. Undefinability results in o-minimal expansions of the real numbers [Internet]. Annals of Pure and Applied Logic. 2005 ; 134( 1): 43-51.[citado 2024 ago. 22 ] Available from: https://doi.org/10.1016/j.apal.2004.06.010
Artigo de periodico
An omitting types theorem for sheaves over topological spaces (2004)
Brunner, Andreas Bernhard Michael ; Miraglia Neto, Francisco
Source: Logic Journal of IGPL. Unidade: IME
Subjects: LÓGICA MATEMÁTICA, TEORIA DOS MODELOS
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: 22 ago. 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 ago. 22 ] 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 ago. 22 ] Available from: https://doi.org/10.1093/jigpal/12.6.525
Trabalho de evento
Alguns exemplos de teoria dos modelos (2004)
Lopes, Vinicius Cifú; Miraglia Neto, Francisco
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
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: 22 ago. 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 ago. 22 ] 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 ago. 22 ] Available from: https://repositorio.usp.br/directbitstream/8bf2b2e7-3e9c-40fd-b8d1-8b39d033f39a/1395740.pdf
Trabalho de evento
Profinite structures are retracts of ultraproducts of finite structures (2004)
Mariano, Hugo Luiz ; Miraglia Neto, Francisco
Source: Proceedings. Conference titles: Séminaire de structures algébriques ordonnées : 2002-2003. Unidade: IME
Subjects: TEORIA DAS CATEGORIAS, TEORIA DOS MODELOS
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: 22 ago. 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 ago. 22 ] 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 ago. 22 ] Available from: https://repositorio.usp.br/directbitstream/07d4dd1e-fdbd-48ac-8725-842d2f22ed58/3199511.pdf
Relatorio tecnico
Definability and invariance in first order structures (2004)
Rodrigues, Alexandre Augusto Martins; Miranda Filho, Ricardo Carneiro; Souza, Edelcio Goncalves de
Unidade: IME
Assunto: TEORIA DOS MODELOS
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 e SOUZA, Edelcio Goncalves de. Definability and invariance in first order structures. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/ad41e170-e56a-49d6-966e-7d07cd1a6d06/1401529.pdf. Acesso em: 22 ago. 2024. , 2004
APA
Rodrigues, A. A. M., Miranda Filho, R. C., & Souza, E. G. de. (2004). Definability and invariance in first order structures. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/ad41e170-e56a-49d6-966e-7d07cd1a6d06/1401529.pdf
NLM
Rodrigues AAM, Miranda Filho RC, Souza EG de. Definability and invariance in first order structures [Internet]. 2004 ;[citado 2024 ago. 22 ] Available from: https://repositorio.usp.br/directbitstream/ad41e170-e56a-49d6-966e-7d07cd1a6d06/1401529.pdf
Vancouver
Rodrigues AAM, Miranda Filho RC, Souza EG de. Definability and invariance in first order structures [Internet]. 2004 ;[citado 2024 ago. 22 ] Available from: https://repositorio.usp.br/directbitstream/ad41e170-e56a-49d6-966e-7d07cd1a6d06/1401529.pdf
Trabalho de evento
Teorias categóricas (2003)
Lopes, Vinicius Cifú; Miraglia Neto, Francisco
Source: Alguns Tabalhos do IME-USP para o 10o. SIICUSP. Conference titles: Simpósio Internacional de Iniciação Científica da USP. Unidade: IME
Assunto: TEORIA DOS MODELOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
LOPES, Vinicius Cifú e MIRAGLIA NETO, Francisco. Teorias categóricas. 2003, Anais.. São Paulo: IME-USP, 2003. . Acesso em: 22 ago. 2024.
APA
Lopes, V. C., & Miraglia Neto, F. (2003). Teorias categóricas. In Alguns Tabalhos do IME-USP para o 10o. SIICUSP. São Paulo: IME-USP.
NLM
Lopes VC, Miraglia Neto F. Teorias categóricas. Alguns Tabalhos do IME-USP para o 10o. SIICUSP. 2003 ;[citado 2024 ago. 22 ]
Vancouver
Lopes VC, Miraglia Neto F. Teorias categóricas. Alguns Tabalhos do IME-USP para o 10o. SIICUSP. 2003 ;[citado 2024 ago. 22 ]

USP Schools

ReP

Filtros

Document Types

Authors

USP affiliated authors

Date published

Subjects

Source title

Publisher

Conference titles

Countries/Territories

Non normalized affiliation