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
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: 22 ago. 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 ago. 22 ] 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 ago. 22 ] Available from: https://doi.org/10.20396/etd.v23i4.8659662
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
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
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
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
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
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

USP Schools

ReP

Filtros

Authors

USP affiliated authors

Date published

Subjects

Source title

Countries/Territories

Non normalized affiliation