Dialectica categories, cardinalities of the continuum and combinatorics of ideals

&
Logic Journal of the IGPL 25 (4):585-603 (2017)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzx016

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,745

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The Axiom of Choice and the Partition Principle from Dialectica Categories.Samuel G. Da Silva - forthcoming - Logic Journal of the IGPL.
Ein platonistisches argument für cantors kontinuumshypothese.U. Blau - 1998 - Dialectica 52 (3):175–202.
Linear logic model of state revisited.V. de Paiva - 2014 - Logic Journal of the IGPL 22 (5):791-804.
Ein platonistisches Argument für Cantors Kontinuumshypothese.U. Blau - 1998 - Dialectica 52 (3):175-202.
Adição de minerais na ração e sua influência nos índices reprodutivos em ruminantes.R. E. S. C. GALVÃO - 2024 - Dissertation, Instituto Federal de Educação, Ciência e Tecnologia de Pernambuco - Ifpe Campus Belo Jardim
Combinatorics on ideals and axiom a.James D. Sharp - 1994 - Journal of Symbolic Logic 59 (3):997-1000.
Combinatorics on ideals and forcing.Serge Grigorieff - 1971 - Annals of Mathematical Logic 3 (4):363.
Efeitos do fornecimento de palma forrageira cv. Miúda (Nopalea cochenillifera) associada com farelo da vagem da algaroba (Prosopis juliflora) e grãos de guandu (Cajanus cajan) sobre o desempenho de caprinos Boer e SPRD.A. M. Dos S. Silva - 2024 - Dissertation, Instituto Federal de Educação, Ciência e Tecnologia de Pernambuco - Ifpe Campus Belo Jardim
Serge Grigorieff. Combinatorics on ideals and forcing. Annals of mathematical logic, vol. 3 no. 4 , pp. 363–394.David Booth - 1973 - Journal of Symbolic Logic 38 (3):528-529.
Review: Vicente F. Da Silva, Elementos de Logica Matematica. [REVIEW]W. V. Quine - 1941 - Journal of Symbolic Logic 6 (3):109-110.

Analytics

Added to PP
2017-10-25

Downloads
21 (#173,985)

6 months
3 (#1,723,834)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Valeria Correa Vaz De Paiva
University of Birmingham

Citations of this work

Add more citations

References found in this work

The fine structure of the constructible hierarchy.R. Björn Jensen - 1972 - Annals of Mathematical Logic 4 (3):229.
The Dialectica Categories.Valeria Correa Vaz De Paiva - 1990 - Dissertation, University of Cambridge, Uk
Questions and answers–a category arising in linear logic, complexity theory, and set theory.Andreas Blass - 1995 - In Jean-Yves Girard, Yves Lafont & Laurent Regnier (eds.), Advances in linear logic. New York, NY, USA: Cambridge University Press. pp. 222--61.

Add more references