Cover Image

Makkai's lost proof of projectivity of N in the free topos

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Forssell, Henrik, Lumsdaine, Peter LeFanu, Swan, Andrew W.
Format:	Preprint
Published:	2026
Subjects:	Logic Category Theory 03G30 Categorical logic, topoi (primary), 03F50 Metamathematics of constructive systems, 03B16 Higher-order logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Homotopical inverse diagrams in categories with attributes
by: Kapulkin, Chris, et al.
Published: (2018)

Comparing semantic frameworks for dependently-sorted algebraic theories
by: Ahrens, Benedikt, et al.
Published: (2024)

Constructive reflectivity principles for regular theories
by: Forssell, Henrik, et al.
Published: (2016)

The homotopy theory of type theories
by: Kapulkin, Chris, et al.
Published: (2016)

A foundation for deductive mathematics
by: Quinn, Frank
Published: (2021)

The Simplicial Model of Univalent Foundations (after Voevodsky)
by: Kapulkin, Chris, et al.
Published: (2012)

On foundations for deductive mathematics
by: Quinn, Frank
Published: (2024)

Generalized Abstract Argumentation: A First-order Machinery towards Ontology Debugging
by: Martín O. Moguillansky
Published: (2010)

On the Existence and Disjunction Properties in Structural Set Theory
by: Saving, Mark
Published: (2023)

Inferences Between Buridan’s Modal Propositions
by: Jonas Dagys
Published: (2022)

On logical parameterizations and functional representability in local set theories
by: Hernández, Enrique Ruiz, et al.
Published: (2021)

The Ultimate Number Domain of Complex Numbers: Fieldoid F; Higher-Order Categories and the Structural Ontology of the Self-Referential Universe
by: zhou, changzheng, et al.
Published: (2026)

Logics
Published: (2024)

Inquisitive Logic
by: Ciardelli, Ivano
Published: (2023)

Bulletin of the Section of Logic
Published: (2020)

Automated Reasoning
Published: (2024)

Automated Reasoning
Published: (2024)

The proof-theoretic strength of Constructive Second-order set theories
by: Jeon, Hanul
Published: (2023)

Existentially closed models and locally zero-dimensional toposes
by: Kamsma, Mark, et al.
Published: (2024)

Biased elementary doctrines and quotient completions
by: Cioffo, Cipriano Junior
Published: (2023)

Hierarchical formula classes with respect to semi-classical prenex normalization
by: Fujiwara, Makoto, et al.
Published: (2025)

Categorical structure in coherent theory of arithmetic
by: Ye, Lingyuan
Published: (2023)

A topos for extended Weihrauch degrees
by: Maschio, Samuele, et al.
Published: (2025)

Duality theory for categorical theories
by: Ye, Lingyuan
Published: (2026)

Generalized Descriptive Set Theory at Singular Cardinals of Countable Cofinality
by: Dimonte, Vincenzo, et al.
Published: (2025)

Automatic structures and the problem of natural well-orderings
by: Beklemishev, Lev D., et al.
Published: (2024)

On Friedman's Property
by: Jakob, Hannes
Published: (2024)

Countable models of weakly quasi-o-minimal theories I
by: Moconja, Slavko, et al.
Published: (2024)

Filters on a countable vector space
by: Smythe, Iian B.
Published: (2021)

Mad families of vector subspaces and the smallest nonmeager set of reals
by: Smythe, Iian B.
Published: (2019)

The *-variation of the Banach-Mazur game and forcing axioms
by: Yoshinobu, Yasuo
Published: (2015)

Development Processes
by: Gorbow, Paul
Published: (2025)

Relative consistency of Set Matrix Theory with ZF
by: Cabbolet, Marcoen J. T. F.
Published: (2024)

A Basic Łukasiewicz m-valued conditional logic
by: Huo, Shuquan
Published: (2024)

Fragments of Martin's axiom
by: Peng, Yinhe
Published: (2025)

ST and TS as Product and Sum
by: Blomet, Quentin, et al.
Published: (2024)

Existence in NSOP$_1$ theories
by: Kim, Byunghan, et al.
Published: (2024)

The spectrum of limit models in a first order setting
by: Beard, Jeremy
Published: (2025)

Adding $\aleph_ω$ many Cohen reals
by: Marun, Pedro, et al.
Published: (2025)

Multiplicative logic in arithmetic
by: Zhuravlov, Volodymyr
Published: (2024)