Relating Quotient Completions via Categorical Logic

&
In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. Boston: De Gruyter. pp. 229-250 (2016)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1515/9781501502620-014

Links

PhilArchive



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

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

Quotient Completion for the Foundation of Constructive Mathematics.Maria Emilia Maietti & Giuseppe Rosolini - 2013 - Logica Universalis 7 (3):371-402.
Model completions and omitting types.Terrence Millar - 1995 - Journal of Symbolic Logic 60 (2):654-672.
Crawley Completions of Residuated Lattices and Algebraic Completeness of Substructural Predicate Logics.Hiroakira Ono - 2012 - Studia Logica 100 (1-2):339-359.
Colimit completions and the effective topos.Edmund Robinson & Giuseppe Rosolini - 1990 - Journal of Symbolic Logic 55 (2):678-699.
Stability among r.e. quotient algebras.John Love - 1993 - Annals of Pure and Applied Logic 59 (1):55-63.
Quotient Fields of a Model of IΔ0 + Ω1.Paola D'Aquino - 2001 - Mathematical Logic Quarterly 47 (3):305-314.
A simple construction of representable relation algebras with non‐representable completions.Tarek Sayed Ahmed - 2009 - Mathematical Logic Quarterly 55 (3):237-244.
D -completions and the d -topology.Klaus Keimel & Jimmie D. Lawson - 2009 - Annals of Pure and Applied Logic 159 (3):292-306.
Pseudo completions and completions in stages of o-minimal structures.Marcus Tressl - 2006 - Archive for Mathematical Logic 45 (8):983-1009.
Constructive completions of ordered sets, groups and fields.Erik Palmgren - 2005 - Annals of Pure and Applied Logic 135 (1-3):243-262.
The power of logic.Frances Howard-Snyder - 2012 - New York: McGraw-Hill. Edited by Daniel Howard-Snyder & Ryan Wasserman.
Categorical Abstract Algebraic Logic: Categorical Algebraization of Equational Logic.George Voutsadakis - 2004 - Logic Journal of the IGPL 12 (4):313-333.
On canonicity and completions of weakly representable relation algebras.Ian Hodkinson & Szabolcs Mikulás - 2012 - Journal of Symbolic Logic 77 (1):245-262.
Inductive types and exact completion.Benno van den Berg - 2005 - Annals of Pure and Applied Logic 134 (2-3):95-121.
Recursive and r.e. quotient Boolean algebras.John J. Thurber - 1994 - Archive for Mathematical Logic 33 (2):121-129.

Analytics

Added to PP
2016-07-30

Downloads
22 (#709,072)

6 months
9 (#308,593)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On a Generalization of Equilogical Spaces.Fabio Pasquali - 2018 - Logica Universalis 12 (1-2):129-140.
Exact completion and constructive theories of sets.Jacopo Emmenegger & Erik Palmgren - 2020 - Journal of Symbolic Logic 85 (2):563-584.

Add more citations

References found in this work

No references found.

Add more references