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
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
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 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
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: 22 ago. 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 ago. 22 ] 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 ago. 22 ] 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
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
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
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
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 ]
Artigo de periodico
Elementary properties of the Boolean hull and reduced quotient functors (2003)
Dickmann, Maximo Alejandro; Miraglia Neto, Francisco
Source: Journal of Symbolic Logic. Unidade: IME
Assunto: TEORIA DOS MODELOS
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: 22 ago. 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 ago. 22 ] 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 ago. 22 ] Available from: https://doi.org/10.2178/jsl/1058448449
Trabalho de evento
Elementary properties of the Boolean hull functor (2002)
Dickmann, Max; Miraglia Neto, Francisco
Source: Proceedings. Conference titles: Séminaire de structures algébriques ordonnées : 2000-2001. Unidade: IME
Assunto: TEORIA DOS MODELOS
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: 22 ago. 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 ago. 22 ] 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 ago. 22 ] Available from: https://repositorio.usp.br/directbitstream/c2f95dd8-8814-4405-a7e2-b62c54867502/3199527.pdf
Artigo de periodico
Upwards preservation by elementary submodels (2000)
Junqueira, Lucia Renato
Source: Topology Proceedings. Unidade: IME
Subjects: ESPAÇOS TOPOLÓGICOS, TEORIA DOS MODELOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
JUNQUEIRA, Lucia Renato. Upwards preservation by elementary submodels. Topology Proceedings, v. 25, p. 225-249, 2000Tradução . . Disponível em: https://topology.nipissingu.ca/tp/reprints/v25/tp25116.pdf. Acesso em: 22 ago. 2024.
APA
Junqueira, L. R. (2000). Upwards preservation by elementary submodels. Topology Proceedings, 25, 225-249. Recuperado de https://topology.nipissingu.ca/tp/reprints/v25/tp25116.pdf
NLM
Junqueira LR. Upwards preservation by elementary submodels [Internet]. Topology Proceedings. 2000 ; 25 225-249.[citado 2024 ago. 22 ] Available from: https://topology.nipissingu.ca/tp/reprints/v25/tp25116.pdf
Vancouver
Junqueira LR. Upwards preservation by elementary submodels [Internet]. Topology Proceedings. 2000 ; 25 225-249.[citado 2024 ago. 22 ] Available from: https://topology.nipissingu.ca/tp/reprints/v25/tp25116.pdf
Trabalho de evento
The downward Lowenheim-Skolem theorem for L-structures in Ω-sets (1988)
Miraglia Neto, Francisco
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
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: 22 ago. 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 ago. 22 ] 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 ago. 22 ] Available from: https://repositorio.usp.br/directbitstream/e3d7890e-fd56-4e38-bdea-c0a70c338aa7/776244.pdf
Monografia/livro
Modele filtres pour l'analyse reelle synthetique (1986)
Druck, Iole de Freitas
Unidade: IME
Assunto: TEORIA DOS MODELOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DRUCK, Iole de Freitas. Modele filtres pour l'analyse reelle synthetique. . Montreal: Universite de Montreal. . Acesso em: 22 ago. 2024. , 1986
APA
Druck, I. de F. (1986). Modele filtres pour l'analyse reelle synthetique. Montreal: Universite de Montreal.
NLM
Druck I de F. Modele filtres pour l'analyse reelle synthetique. 1986 ;[citado 2024 ago. 22 ]
Vancouver
Druck I de F. Modele filtres pour l'analyse reelle synthetique. 1986 ;[citado 2024 ago. 22 ]
Artigo de periodico
On the preservation of elementary equivalence and embedding by bounded filtered powers and structures of stable continuous functions (1983)
Miraglia Neto, Francisco
Source: Boletim da Sociedade Brasileira de Matemática. 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
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: 22 ago. 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 ago. 22 ] 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 ago. 22 ] Available from: https://doi.org/10.1007/bf02584746
Parte de monografia/livro
On the preservation of elementary equivalence and embedding by bounded filtered powers and structures of stable continuous functions (1982)
Miraglia Neto, Francisco
Source: Collected papers dedicated to Professor Edison Farah on the occasion of his retiremen. Unidade: IME
Assunto: TEORIA DOS MODELOS
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: 22 ago. 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 ago. 22 ] 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 ago. 22 ] Available from: https://repositorio.usp.br/directbitstream/14a0742a-21e2-4752-a52b-d3b5ae194107/3164553.pdf

USP Schools

ReP

Filtros

Authors

USP affiliated authors

Date published

Subjects

Source title

Publisher

Conference titles

Countries/Territories

Non normalized affiliation