Ultrafilters, finite coproducts and locally connected classifying toposes

Annals of Pure and Applied Logic 171 (10):102831 (2020)

Abstract

This article has no associated abstract. (fix it)

Download options

PhilArchive



    Upload a copy of this work     Papers currently archived: 72,805

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2020-05-21

Downloads
6 (#1,142,048)

6 months
1 (#386,031)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Richard Garner
University of Houston

References found in this work

A Model for Intuitionistic Non-Standard Arithmetic.Ieke Moerdijk - 1995 - Annals of Pure and Applied Logic 73 (1):37-51.
Saturated Models of Intuitionistic Theories.Carsten Butz - 2004 - Annals of Pure and Applied Logic 129 (1-3):245-275.
Generalising Canonical Extension to the Categorical Setting.Dion Coumans - 2012 - Annals of Pure and Applied Logic 163 (12):1940-1961.

Add more references

Citations of this work

No citations found.

Add more citations

Similar books and articles

Classifying Totally Categorical Groups.Katrin Tent - 1996 - Annals of Pure and Applied Logic 77 (1):81-100.
Ultrafilters on Ω.James E. Baumgartner - 1995 - Journal of Symbolic Logic 60 (2):624-639.
More Exact Completions That Are Toposes.Matı́as Menni - 2002 - Annals of Pure and Applied Logic 116 (1-3):187-203.
Ultrafilters on $Omega$.James E. Baumgartner - 1995 - Journal of Symbolic Logic 60 (2):624-639.
Classifying Toposes for First-Order Theories.Carsten Butz & Peter Johnstone - 1998 - Annals of Pure and Applied Logic 91 (1):33-58.
Hierarchies of Measure-Theoretic Ultrafilters.Michael Benedikt - 1999 - Annals of Pure and Applied Logic 97 (1-3):203-219.
Ultrafilters Which Extend Measures.Michael Benedikt - 1998 - Journal of Symbolic Logic 63 (2):638-662.
Quantifier-Eliminable Locally Finite Graphs.Shawn Hedman & Wai Yan Pong - 2011 - Mathematical Logic Quarterly 57 (2):180-185.
Ultrafilters Which Extend Measures.Michael Benedikt - 1998 - Journal of Symbolic Logic 63 (2):638-662.
Topological Complexity of Locally Finite Ω-Languages.Olivier Finkel - 2008 - Archive for Mathematical Logic 47 (6):625-651.
Syntax and Semantics of the Logic.Carsten Butz - 1997 - Notre Dame Journal of Formal Logic 38 (3):374-384.
Locally Finite Monoids in Finitely Based Varieties.Edmond W. H. Lee - 2019 - Logic Journal of the IGPL 27 (5):743-745.