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: 01 nov. 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 nov. 01 ] 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 nov. 01 ] 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
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: 01 nov. 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 nov. 01 ] 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 nov. 01 ] 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
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: 01 nov. 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 nov. 01 ] 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 nov. 01 ] 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
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: 01 nov. 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 nov. 01 ] 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 nov. 01 ] Available from: https://www.teses.usp.br/teses/disponiveis/48/48134/tde-29092020-162754/
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: 01 nov. 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 nov. 01 ] 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 nov. 01 ] 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: 01 nov. 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 nov. 01 ] 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 nov. 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-15022019-215130/
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
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: 01 nov. 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 nov. 01 ] 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 nov. 01 ] 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
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: 01 nov. 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 nov. 01 ] 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 nov. 01 ] 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
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: 01 nov. 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 nov. 01 ] 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 nov. 01 ] 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: 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/
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
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: 01 nov. 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 nov. 01 ] 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 nov. 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/48/48134/tde-04062013-133059/
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: 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
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: 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
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: 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
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: 01 nov. 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 nov. 01 ] 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 nov. 01 ] 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: 01 nov. 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 nov. 01 ] 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 nov. 01 ] 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: 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
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: 01 nov. 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 nov. 01 ] 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 nov. 01 ] Available from: https://doi.org/10.1007/s11225-007-9049-6
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: 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
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: 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

USP Schools

ReP

Filtros

Document Types

USP Schools

Authors

USP affiliated authors

Date published

Subjects

Source title

Publisher

Conference titles

Countries/Territories

Funding Agencies

Non normalized affiliation

Área de concentração

Sigla do Departamento/Programa de Pós Graduação