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

Active Bibliography

2 A process algebraic approach to computational linguistic – Tsutomu Fujinami - 1995
5.2 Proof Systems for Coalgebraic Modal Logic.......... 91 – Dirk Pattinson
1 Combining Optimizations, Combining Theories – Todd L. Veldhuizen, Jeremy G. Siek
3 A Strongly Normalising Curry-Howard Correspondence for IZF Set Theory – Alexandre Miquel
Matter, Mind and Mechanics New models for dynamogenesis and rationality Synopsis of The Mechanical Foundations of Psychology and Economics – Jon Doyle - 2000
4 Cut elimination for Zermelo’s set theory – Gilles Dowek, Alexandre Miquel - 2006
5 Defining a Formal Coalgebraic Semantics for the Rosetta Specification Language – Cindy Kong, Perry Alexander, Catherine Menon - 2003
2 2004a), Have Your Cake and Eat It Too: The Old Principal Principle Reconciled with the New – Peter B. M. Vranas
36 A Nested-Graph Model for the Representation and Manipulation of Complex Objects – Alexandra Poulovassilis, Mark Levene - 1994
55 Semantics of Types for Mutable State – Amal Jamil Ahmed - 2004
EVERY COUNTABLE MODEL OF SET THEORY EMBEDS INTO ITS OWN CONSTRUCTIBLE UNIVERSE – Joel David Hamkins
30 A Stratified Semantics of General References Embeddable in Higher-Order Logic (Extended Abstract) – Amal J. Ahmed, Andrew W. Appel, Roberto Virga - 2002
33 Feature Logics – William C. Rounds - 1994
99 A Categorical Manifesto – Joseph A. Goguen - 1991
1 CZF has the disjunction and numerical existence property. Available from the author’s web page www.amsta.leeds.ac.uk/Pure/staff/rathjen/preprints.html – Michael Rathjen - 2004
Generalized Inductive Definitions in Constructive Set Theory – Michael Rathjen - 2004
Characterizing the interpretation of set theory in Martin-Löf type – Michael Rathjen, Sergei Tupailo, Leeds Ls Jt
6 Formalizing Abstract Algebra in Type Theory with Dependent Records – Xin Yu, Aleksey Nogin, Alexei Kopylov, Jason Hickey - 2003
2 Formalizing abstract algebra in constructive set theory – Xin Yu, Jason J. Hickey - 2002