Ultrafilters, finite coproducts and locally connected classifying toposes

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

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2020.102831

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,867

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

Locally modular theories of finite rank.Steven Buechler - 1986 - Annals of Pure and Applied Logic 30 (1):83-94.
Triposes, q-toposes and toposes.Jonas Frey - 2015 - Annals of Pure and Applied Logic 166 (2):232-259.
Classifying totally categorical groups.Katrin Tent - 1996 - Annals of Pure and Applied Logic 77 (1):81-100.
Nonstandard proof methods in toposes.José Siqueira - 2024 - Annals of Pure and Applied Logic 175 (5):103424.
More exact completions that are toposes.Matı́as Menni - 2002 - Annals of Pure and Applied Logic 116 (1-3):187-203.
Selective ultrafilters and homogeneity.Andreas Blass - 1988 - Annals of Pure and Applied Logic 38 (3):215-255.
Cofinal types of ultrafilters.Dilip Raghavan & Stevo Todorcevic - 2012 - Annals of Pure and Applied Logic 163 (3):185-199.
Characterizing existence of certain ultrafilters.Rafał Filipów, Krzysztof Kowitz & Adam Kwela - 2022 - Annals of Pure and Applied Logic 173 (9):103157.
Models of intuitionistic set theory in subtoposes of nested realizability toposes.Samuele Maschio & Thomas Streicher - 2015 - Annals of Pure and Applied Logic 166 (6):729-739.
On the Mitchell and Rudin-Kiesler orderings of ultrafilters.Moti Gitik - 1988 - Annals of Pure and Applied Logic 39 (2):175-197.

Analytics

Added to PP
2020-05-21

Downloads
17 (#863,839)

6 months
7 (#592,566)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Richard Garner
University of Houston

Citations of this work

Add more citations

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.
Generalising canonical extension to the categorical setting.Dion Coumans - 2012 - Annals of Pure and Applied Logic 163 (12):1940-1961.
Saturated models of intuitionistic theories.Carsten Butz - 2004 - Annals of Pure and Applied Logic 129 (1-3):245-275.

Add more references