Models of non-well-founded sets via an indexed final coalgebra theorem

Cached

Download Links

by Benno Van Den Berg , Federico De
Venue:J. Symbolic Logic
Citations:4 - 3 self

Documents Related by Co-Citation

120 The type theoretic interpretation of constructive set theory: inductive definitions – Peter Aczel - 1986
8 Inductive Types and Exact Completion – Benno Van Den Berg - 2002
11 Predicative topos theory and models for constructive set theory – Benno van den Berg - 2006
2 Sheaves for predicative toposes. Accepted for publication in – B van den Berg - 2005
8 Freyd’s models for the independence of the axiom of choice – Andreas R Blass, Andre Scedrov - 1989
7 Predicative algebraic set theory – Steve Awodey, Michael, A. Warren
10 Relating topos theory and set theory via categories of classes – S Awodey, C Butz, A Simpson, T Streicher - 2003
45 Notes on Constructive Set Theory – Peter Aczel - 1997
10 The axiom of choice – P J Freyd - 1980
2 Complete Topoi Representing Models of Set Theory – Andreas Blass - 1992
17 Bernays-Gödel type-theory – Carsten Butz - 2003
19 The free exact category on a left exact one – A Carboni, R C Magno - 1982
36 Some free constructions in realizability and proof theory – A Carboni - 1995
16 A.: A categorical approach to realizability and polymorphic types – A Carboni, P J Freyd, Scedrov - 1987
10 Aspects of predicative algebraic set theory I: Exact Completion – Benno Van Den Berg, Ieke Moerdijk
13 Algebraic models of intuitionistic theories of sets and classes. Theory and applications of categories – Steve Awodey, Henrik Forssell, S. Awodey, H. Forssell
7 A coequational approach to specifying behaviours – Corina Cirstea - 1999
2 Monads in Coalgebra – F De Marchi - 2003
2 Sheaves for predicative toposes. Available from ArXiv (LO/0507480). Accepted for publication in Archive for Mathematical Logic – B van den Berg - 2001