skip to main content
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: JSTOR Mathematics & Statistics remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC
Material Type:
Artigo
Adicionar ao Meu Espaço

THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC

PASSMANN, ROBERT

The Journal of symbolic logic, 2024-03, Vol.89 (1), p.308-330 [Periódico revisado por pares]

New York, USA: Cambridge University Press

Texto completo disponível

2
BI-INTERPRETATION IN WEAK SET THEORIES
Material Type:
Artigo
Adicionar ao Meu Espaço

BI-INTERPRETATION IN WEAK SET THEORIES

ROQUE FREIRE, ALFREDO ; HAMKINS, JOEL DAVID

The Journal of symbolic logic, 2021-06, Vol.86 (2), p.609-634 [Periódico revisado por pares]

Pasadena: Cambridge University Press

Texto completo disponível

3
MUTUAL INTERPRETABILITY OF ROBINSON ARITHMETIC AND ADJUNCTIVE SET THEORY WITH EXTENSIONALITY
Material Type:
Artigo
Adicionar ao Meu Espaço

MUTUAL INTERPRETABILITY OF ROBINSON ARITHMETIC AND ADJUNCTIVE SET THEORY WITH EXTENSIONALITY

DAMNJANOVIC, ZLATAN

The bulletin of symbolic logic, 2017-12, Vol.23 (4), p.381-404 [Periódico revisado por pares]

Association for Symbolic Logic, Inc

Texto completo disponível

4
Independence Results for Finite Set Theories in Well-Founded Locally Finite Graphs
Material Type:
Artigo
Adicionar ao Meu Espaço

Independence Results for Finite Set Theories in Well-Founded Locally Finite Graphs

Balogun, Funmilola ; Löwe, Benedikt

Studia logica, 2024-02 [Periódico revisado por pares]

Texto completo disponível

5
RELATIVIZING OPERATIONAL SET THEORY
Material Type:
Artigo
Adicionar ao Meu Espaço

RELATIVIZING OPERATIONAL SET THEORY

JÄGER, GERHARD

The bulletin of symbolic logic, 2016-09, Vol.22 (3), p.332-352 [Periódico revisado por pares]

New York, USA: Cambridge University Press

Texto completo disponível

6
ON DOUBLE-MEMBERSHIP GRAPHS OF MODELS OF ANTI-FOUNDATION
Material Type:
Artigo
Adicionar ao Meu Espaço

ON DOUBLE-MEMBERSHIP GRAPHS OF MODELS OF ANTI-FOUNDATION

ADAM-DAY, BEA ; HOWE, JOHN ; MENNUNI, ROSARIO

The bulletin of symbolic logic, 2023-03, Vol.29 (1), p.128-144 [Periódico revisado por pares]

New York, USA: Cambridge University Press

Texto completo disponível

7
EXACT COMPLETION AND CONSTRUCTIVE THEORIES OF SETS
Material Type:
Artigo
Adicionar ao Meu Espaço

EXACT COMPLETION AND CONSTRUCTIVE THEORIES OF SETS

EMMENEGGER, JACOPO ; PALMGREN, ERIK

The Journal of symbolic logic, 2020-06, Vol.85 (2), p.563-584 [Periódico revisado por pares]

Pasadena: Cambridge University Press

Texto completo disponível

8
SEALING OF THE UNIVERSALLY BAIRE SETS
Material Type:
Artigo
Adicionar ao Meu Espaço

SEALING OF THE UNIVERSALLY BAIRE SETS

SARGSYAN, GRIGOR ; TRANG, NAM

The bulletin of symbolic logic, 2021-09, Vol.27 (3), p.254-266 [Periódico revisado por pares]

New York: Cambridge University Press

Texto completo disponível

9
AN EXTENSION OF A THEOREM OF ZERMELO
Material Type:
Artigo
Adicionar ao Meu Espaço

AN EXTENSION OF A THEOREM OF ZERMELO

VÄÄNÄNEN, JOUKO

The bulletin of symbolic logic, 2019-06, Vol.25 (2), p.208-212 [Periódico revisado por pares]

New York: Cambridge University Press

Texto completo disponível

10
PRODUCTS OF HUREWICZ SPACES IN THE LAVER MODEL
Material Type:
Artigo
Adicionar ao Meu Espaço

PRODUCTS OF HUREWICZ SPACES IN THE LAVER MODEL

REPOVŠ, DUŠAN ; ZDOMSKYY, LYUBOMYR

The bulletin of symbolic logic, 2017-09, Vol.23 (3), p.324-333 [Periódico revisado por pares]

New York: CAMBRIDGE UNIVERSITY PRESS

Texto completo disponível

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (5.224)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (5.454)
  2. magazinearticle  (39)
  3. Resenhas  (18)
  4. Anais de Congresso  (13)
  5. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1960  (165)
  2. 1960Até1975  (513)
  3. 1976Até1991  (1.738)
  4. 1992Até2008  (2.034)
  5. Após 2008  (1.082)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (5.522)
  2. Japonês  (350)
  3. Catalão  (5)
  4. Francês  (1)
  5. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.