skip to main content
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Refinado por: Nome da Publicação: Reports On Mathematical Logic remover idioma: Russo remover Francês remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Non-generators in extensions of infinitary algebras
Material Type:
Artigo
Adicionar ao Meu Espaço

Non-generators in extensions of infinitary algebras

LIPPARINI, Paolo

Reports on mathematical logic, 2022-01, Vol.57 (57), p.31-43 [Periódico revisado por pares]

Kraków: Wydawnictwo Uniwersytetu Jagiellońskiego

Texto completo disponível

2
A Maximality Theorem for Continuous First Order Theories
Material Type:
Artigo
Adicionar ao Meu Espaço

A Maximality Theorem for Continuous First Order Theories

ACKERMAN, Nathanael ; KARKER, Mary Leah

Reports on mathematical logic, 2022-01, Vol.57 (57), p.61-93 [Periódico revisado por pares]

Kraków: Wydawnictwo Uniwersytetu Jagiellońskiego

Texto completo disponível

3
A Model Theory for the Potential Infinite
Material Type:
Artigo
Adicionar ao Meu Espaço

A Model Theory for the Potential Infinite

Eberl, Matthias

Reports on mathematical logic, 2022-01, Vol.57 (57), p.3-30 [Periódico revisado por pares]

Kraków: Wydawnictwo Uniwersytetu Jagiellońskiego

Texto completo disponível

4
Notes on the decidability of addition and the Frobenius map for polynomials and rational functions
Material Type:
Artigo
Adicionar ao Meu Espaço

Notes on the decidability of addition and the Frobenius map for polynomials and rational functions

Chompitaki, Dimitra ; Kamarianakis, Manos ; Pheidas, Thanases

Reports on mathematical logic, 2022-01, Vol.57 (57), p.53-60 [Periódico revisado por pares]

Kraków: Wydawnictwo Uniwersytetu Jagiellońskiego

Texto completo disponível

5
Invariant Universality for Projective Planes
Material Type:
Artigo
Adicionar ao Meu Espaço

Invariant Universality for Projective Planes

Paolini, Gianluca

Reports on mathematical logic, 2023-01, Vol.58 (58), p.15-27 [Periódico revisado por pares]

Kraków: Jagiellonian University-Jagiellonian University Press

Texto completo disponível

6
A formal approach to Menger's theorem
Material Type:
Artigo
Adicionar ao Meu Espaço

A formal approach to Menger's theorem

Bonacina, Roberta ; Misselbeck-Wessel, Daniel

Reports on mathematical logic, 2022-01, Vol.57 (57), p.45-51 [Periódico revisado por pares]

Kraków: Wydawnictwo Uniwersytetu Jagiellońskiego

Texto completo disponível

7
Tableaux approach for contact logics interpreted over intervals
Material Type:
Artigo
Adicionar ao Meu Espaço

Tableaux approach for contact logics interpreted over intervals

Özdemir, Zafer

Reports on mathematical logic, 2023, Vol.58 (58), p.3-13 [Periódico revisado por pares]

Kraków: Jagiellonian University-Jagiellonian University Press

Texto completo disponível

8
Editorial and Title Pages
Material Type:
Artigo
Adicionar ao Meu Espaço

Editorial and Title Pages

Reports on mathematical logic, 2023-01 (58) [Periódico revisado por pares]

Kraków: Jagiellonian University-Jagiellonian University Press

Texto completo disponível

9
Some cardinal characteristics related to the covering number and the uniformity of the meagre ideal
Material Type:
Artigo
Adicionar ao Meu Espaço

Some cardinal characteristics related to the covering number and the uniformity of the meagre ideal

Sonpanow, Nattapon ; Vejjajiva, Pimpen

Reports on mathematical logic, 2021, Vol.56 (56), p.3-14 [Periódico revisado por pares]

Kraków: Wydawnictwo Uniwersytetu Jagiellońskiego

Texto completo disponível

10
Tableau-based translation from first-order logic to modal logic
Material Type:
Artigo
Adicionar ao Meu Espaço

Tableau-based translation from first-order logic to modal logic

Perkov, Tin ; Mikec, Luka

Reports on mathematical logic, 2021, Vol.56 (56), p.57-74 [Periódico revisado por pares]

Kraków: Wydawnictwo Uniwersytetu Jagiellońskiego

Texto completo disponível

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até

Buscando em bases de dados remotas. Favor aguardar.