Some contributions to Boolean-valued set theory regarding arrows induced by morphisms between complete Boolean algebras (2019)
- Authors:
- USP affiliated authors: MARIANO, HUGO LUIZ - IME ; ALVIM, JOSÉ GOUDET - IME ; CAHALI, ARTHUR FRANCISCO SCHWERZ - IME
- Unidade: IME
- Assunto: ÁLGEBRAS DE BOOLE
- Language: Inglês
- Imprenta:
- Publisher: EDUFCG
- Publisher place: João Pessoa
- Date published: 2019
- Source:
- Título do periódico: Book of Abstracts
- Conference titles: Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL)
-
ABNT
ALVIM, José e CAHALI, Arthur e MARIANO, Hugo Luiz. Some contributions to Boolean-valued set theory regarding arrows induced by morphisms between complete Boolean algebras. 2019, Anais.. João Pessoa: EDUFCG, 2019. Disponível em: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf. Acesso em: 28 set. 2024. -
APA
Alvim, J., Cahali, A., & Mariano, H. L. (2019). Some contributions to Boolean-valued set theory regarding arrows induced by morphisms between complete Boolean algebras. In Book of Abstracts. João Pessoa: EDUFCG. Recuperado de https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf -
NLM
Alvim J, Cahali A, Mariano HL. Some contributions to Boolean-valued set theory regarding arrows induced by morphisms between complete Boolean algebras [Internet]. Book of Abstracts. 2019 ;[citado 2024 set. 28 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf -
Vancouver
Alvim J, Cahali A, Mariano HL. Some contributions to Boolean-valued set theory regarding arrows induced by morphisms between complete Boolean algebras [Internet]. Book of Abstracts. 2019 ;[citado 2024 set. 28 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf - Induced morphisms between Heyting-valued models
- On categories of quantale valued sets
- Lógica de topos e aplicações
- A global approach to AECs
- Towards a good notion of categories of logics
- Remarks on propositional logics and the categorial relationship between institutions and Π-institutions
- Categorial forms of the axiom of choice
- κ-filter pairs and non-finitary logics
- Expansions of Galois theory in algebra: infinity Galois theory and applications
- On profinite structures
Download do texto completo
| Tipo | Nome | Link | |
|---|---|---|---|
 | 2965651.pdf | Direct link |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
