Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGICPASSMANN, ROBERTThe Journal of symbolic logic, 2024-03, Vol.89 (1), p.308-330 [Periódico revisado por pares]New York, USA: Cambridge University PressTexto completo disponível |
2 |
Material Type: Artigo
|
![]() |
BI-INTERPRETATION IN WEAK SET THEORIESROQUE FREIRE, ALFREDO ; HAMKINS, JOEL DAVIDThe Journal of symbolic logic, 2021-06, Vol.86 (2), p.609-634 [Periódico revisado por pares]Pasadena: Cambridge University PressTexto completo disponível |
3 |
Material Type: Artigo
|
![]() |
MUTUAL INTERPRETABILITY OF ROBINSON ARITHMETIC AND ADJUNCTIVE SET THEORY WITH EXTENSIONALITYDAMNJANOVIC, ZLATANThe bulletin of symbolic logic, 2017-12, Vol.23 (4), p.381-404 [Periódico revisado por pares]Association for Symbolic Logic, IncTexto completo disponível |
4 |
Material Type: Artigo
|
![]() |
Independence Results for Finite Set Theories in Well-Founded Locally Finite GraphsBalogun, Funmilola ; Löwe, BenediktStudia logica, 2024-02 [Periódico revisado por pares]Texto completo disponível |
5 |
Material Type: Artigo
|
![]() |
RELATIVIZING OPERATIONAL SET THEORYJÄGER, GERHARDThe bulletin of symbolic logic, 2016-09, Vol.22 (3), p.332-352 [Periódico revisado por pares]New York, USA: Cambridge University PressTexto completo disponível |
6 |
Material Type: Artigo
|
![]() |
ON DOUBLE-MEMBERSHIP GRAPHS OF MODELS OF ANTI-FOUNDATIONADAM-DAY, BEA ; HOWE, JOHN ; MENNUNI, ROSARIOThe bulletin of symbolic logic, 2023-03, Vol.29 (1), p.128-144 [Periódico revisado por pares]New York, USA: Cambridge University PressTexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
EXACT COMPLETION AND CONSTRUCTIVE THEORIES OF SETSEMMENEGGER, JACOPO ; PALMGREN, ERIKThe Journal of symbolic logic, 2020-06, Vol.85 (2), p.563-584 [Periódico revisado por pares]Pasadena: Cambridge University PressTexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
SEALING OF THE UNIVERSALLY BAIRE SETSSARGSYAN, GRIGOR ; TRANG, NAMThe bulletin of symbolic logic, 2021-09, Vol.27 (3), p.254-266 [Periódico revisado por pares]New York: Cambridge University PressTexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
AN EXTENSION OF A THEOREM OF ZERMELOVÄÄNÄNEN, JOUKOThe bulletin of symbolic logic, 2019-06, Vol.25 (2), p.208-212 [Periódico revisado por pares]New York: Cambridge University PressTexto completo disponível |
10 |
Material Type: Artigo
|
![]() |
PRODUCTS OF HUREWICZ SPACES IN THE LAVER MODELREPOVŠ, DUŠAN ; ZDOMSKYY, LYUBOMYRThe bulletin of symbolic logic, 2017-09, Vol.23 (3), p.324-333 [Periódico revisado por pares]New York: CAMBRIDGE UNIVERSITY PRESSTexto completo disponível |