Book Reviews [Book Review]

Studia Logica 69 (3):429-455 (2001)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1023/a:1017496327939

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

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

Categorical Abstract Algebraic Logic: Categorical Algebraization of Equational Logic.George Voutsadakis - 2004 - Logic Journal of the IGPL 12 (4):313-333.
Review: Bart Jacobs, Categorical Logic and Type Theory. [REVIEW]R. A. G. Seely - 2000 - Bulletin of Symbolic Logic 6 (2):225-229.
Applications of Kolmogorov Complexity to Computable Model Theory.B. Khoussainov, P. Semukhin & F. Stephan - 2007 - Journal of Symbolic Logic 72 (3):1041 - 1054.
Supersimple ω-categorical groups and theories.David M. Evans & Frank O. Wagner - 2000 - Journal of Symbolic Logic 65 (2):767-776.
The Generalised Type-Theoretic Interpretation of Constructive Set Theory.Nicola Gambino & Peter Aczel - 2006 - Journal of Symbolic Logic 71 (1):67 - 103.
Degrees of isomorphism types and countably categorical groups.Aleksander Ivanov - 2012 - Archive for Mathematical Logic 51 (1):93-98.
Categorical abstract algebraic logic categorical algebraization of first-order logic without terms.George Voutsadakis - 2005 - Archive for Mathematical Logic 44 (4):473-491.
Inductive types and exact completion.Benno van den Berg - 2005 - Annals of Pure and Applied Logic 134 (2-3):95-121.
Categorical and algebraic aspects of Martin-löf type theory.Adam Obtułowicz - 1989 - Studia Logica 48 (3):299 - 317.
The inconsistency of higher order extensions of Martin-löf's type theory.Bart Jacobs - 1989 - Journal of Philosophical Logic 18 (4):399 - 422.
On ω-categorical, generically stable groups.Jan Dobrowolski & Krzysztof Krupiński - 2012 - Journal of Symbolic Logic 77 (3):1047-1056.
Atomic models higher up.Jessica Millar & Gerald E. Sacks - 2008 - Annals of Pure and Applied Logic 155 (3):225-241.
Logic in the 1930s: type theory and model theory.Georg Schiemer & Erich H. Reck - 2013 - Bulletin of Symbolic Logic 19 (4):433-472.
The power of logic.Frances Howard-Snyder - 2012 - New York: McGraw-Hill. Edited by Daniel Howard-Snyder & Ryan Wasserman.
Quotient Completion for the Foundation of Constructive Mathematics.Maria Emilia Maietti & Giuseppe Rosolini - 2013 - Logica Universalis 7 (3):371-402.

Analytics

Added to PP
2015-02-06

Downloads
21 (#695,936)

6 months
3 (#902,269)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A characterization of generalized existential completions.Maria Emilia Maietti & Davide Trotta - 2023 - Annals of Pure and Applied Logic 174 (4):103234.

View all 23 citations / Add more citations

References found in this work

Parts as Essential to Their Wholes.Roderick M. Chisholm - 1973 - Review of Metaphysics 26 (4):581 - 603.
Mereotopology: A theory of parts and boundaries.Barry Smith - 1996 - Data and Knowledge Engineering 20 (3):287–303.

Add more references