skip to main content
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Artigo
Adicionar ao Meu Espaço

Peano Arithmetic May Not be Interpretable in the Monadic Theory of Linear Orders

Lifsches, Shmuel ; Shelah, Saharon

The Journal of Symbolic Logic, 1 September 1997, Vol.62(3), pp.848-872 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
2
Material Type:
Artigo
Adicionar ao Meu Espaço

Uniformization and Skolem Functions in the Class of Trees

Lifsches, Shmuel ; Shelah, Saharon

The Journal of Symbolic Logic, 1 March 1998, Vol.63(1), pp.103-127 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
3
Material Type:
Artigo
Adicionar ao Meu Espaço

Uniformization, Choice Functions and Well Orders in the Class of Trees

Lifsches, Shmuel ; Shelah, Saharon

The Journal of Symbolic Logic, 1 December 1996, Vol.61(4), pp.1206-1227 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões

Buscando em bases de dados remotas. Favor aguardar.