A characterization of generalized existential completions

&
Annals of Pure and Applied Logic 174 (4):103234 (2023)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2022.103234

Links

PhilArchive



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

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

Crawley Completions of Residuated Lattices and Algebraic Completeness of Substructural Predicate Logics.Hiroakira Ono - 2012 - Studia Logica 100 (1-2):339-359.
Relating Quotient Completions via Categorical Logic.Giuseppe Rosolini & Maria Emilia Maietti - 2016 - In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. Boston: De Gruyter. pp. 229-250.
More exact completions that are toposes.Matı́as Menni - 2002 - Annals of Pure and Applied Logic 116 (1-3):187-203.
Constructive completions of ordered sets, groups and fields.Erik Palmgren - 2005 - Annals of Pure and Applied Logic 135 (1-3):243-262.
Is Trust Like an 'Atmosphere'? Understanding the Phenomenon of Existential Trust.Jeffrey M. Courtright - 2013 - Philosophy in the Contemporary World 20 (1):39-51.
Generalized Quantifiers and Measure Theory.Charles William Kurtz - 1996 - Dissertation, Syracuse University
Natural language, sortal reducibility and generalized quantifiers.Edward L. Keenan - 1993 - Journal of Symbolic Logic 58 (1):314-325.
Dimensions, matroids, and dense pairs of first-order structures.Antongiulio Fornasiero - 2011 - Annals of Pure and Applied Logic 162 (7):514-543.
Pseudo completions and completions in stages of o-minimal structures.Marcus Tressl - 2006 - Archive for Mathematical Logic 45 (8):983-1009.
Weak compactness and no partial squares.John Krueger - 2011 - Journal of Symbolic Logic 76 (3):1035 - 1060.
Possible m-diagrams of models of arithmetic.Andrew Arana - 2005 - In Stephen Simpson (ed.), Reverse Mathematics 2001.
A simple construction of representable relation algebras with non‐representable completions.Tarek Sayed Ahmed - 2009 - Mathematical Logic Quarterly 55 (3):237-244.
Characterization of NIP theories by ordered graph-indiscernibles.Lynn Scow - 2012 - Annals of Pure and Applied Logic 163 (11):1624-1641.
On Generalized I-algebras And 4-valued Modal Algebras.Aldo Figallo & Paolo Landini - 1995 - Reports on Mathematical Logic:3-18.
Scope dominance with upward monotone quantifiers.Alon Altman, Ya'Acov Peterzil & Yoad Winter - 2005 - Journal of Logic, Language and Information 14 (4):445-455.

Analytics

Added to PP
2023-01-05

Downloads
14 (#974,810)

6 months
5 (#632,346)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Adjointness in Foundations.F. William Lawvere - 1969 - Dialectica 23 (3‐4):281-296.
Book Reviews. [REVIEW]B. Jacobs - 2001 - Studia Logica 69 (3):429-455.

Add more references