Cover Image

A Note About Models of Synthetic Algebraic Geometry

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Coquand, Thierry, Hofer, Jonas, Sattler, Christian
Format:	Preprint
Published:	2025
Subjects:	Logic 14A99, 03B38, 18N99
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Foundation for Synthetic Algebraic Geometry
by: Cherubini, Felix, et al.
Published: (2023)

Projective Space in Synthetic Algebraic Geometry
by: Cherubini, Felix, et al.
Published: (2024)

Differential Geometry of Synthetic Schemes
by: Cherubini, Felix, et al.
Published: (2025)

A Foundation for Synthetic Stone Duality
by: Cherubini, Felix, et al.
Published: (2024)

Chatelet's Theorem in Synthetic Algebraic Geometry
by: Coquand, Thierry, et al.
Published: (2025)

Coherent Conditions: Algebraic Geometry for Arbitrary Classes of Algebras
by: van Nispen, K. R.
Published: (2025)

The Frobenius equivalence and Beck-Chevalley condition for Algebraic Weak Factorisation Systems
by: van Woerkom, Wijnand, et al.
Published: (2024)

A Self-Reflecting Formal Language
by: Patrakeev, Mikhail
Published: (2023)

First-Order Implication-Space Semantics
by: Hlobil, Ulf
Published: (2026)

Synthetic Homotopy Theory
by: Wei, Yuhang
Published: (2024)

Hyper swap structures and Kalman functors: the case study of da Costa logic $C_ω$
by: Coniglio, Marcelo E., et al.
Published: (2025)

Paracomplete Probabilities
by: Basu, Sankha S., et al.
Published: (2025)

A completion of reduced commutative rings
by: Carai, Luca, et al.
Published: (2026)

Axioms for Arbitrary Object Theory
by: Steinkrauss, Luca, et al.
Published: (2025)

The Logic of Correct Models
by: Aguilera, Juan Pablo, et al.
Published: (2024)

First-order friendliness
by: Badia, Guillermo, et al.
Published: (2022)

The Countable Reals
by: Bauer, Andrej, et al.
Published: (2024)

Nontrivial single axiom schemata and their quasi-nontriviality of Leśniewski-Ishimoto's propositional ontology $\bf L_1$
by: Inoué, Takao, et al.
Published: (2024)

Dismantling the Surprise Test "Paradox"
by: Dietzfelbinger, Martin
Published: (2026)

Decision algorithms for fragments of real analysis. II. A theory of differentiable functions with convexity and concavity predicates
by: Cantone, Domenico, et al.
Published: (2024)

Extensional concepts in intensional type theory, revisited
by: Kapulkin, Chris, et al.
Published: (2023)

Zilber dichotomy for $DCF_{0,m}$
by: Sanchez, Omar Leon
Published: (2024)

Synthetic perspectives on spaces and categories
by: Riehl, Emily
Published: (2025)

Non-Standard Models of Homotopy Type Theory
by: Rasekh, Nima
Published: (2025)

Model-theoretic $K_1$ for modules over semisimple rings: (weak) Morita invariance
by: Banerjee, Sourayan, et al.
Published: (2025)

Exponential Sums Equations and Tropical Geometry
by: Gallinaro, Francesco
Published: (2022)

A Closer Look at the Russell Paradox
by: Sheridan, Flash
Published: (2021)

Kripke-Joyal forcing for type theory and uniform fibrations
by: Awodey, S., et al.
Published: (2021)

On equationally Noetherian predicate structures
by: Buchinskiy, Ivan, et al.
Published: (2024)

Iterated Priority Arguments in Descriptive Set Theory
by: Day, Adam, et al.
Published: (2022)

An ordinal analysis of a single stable ordinal
by: Arai, Toshiyasu
Published: (2022)

An ordinal analysis of $Π_{N}$-Collection
by: Arai, Toshiyasu
Published: (2023)

Nonclassical logics and multivariate truth values
by: Zhuravlov, Volodymyr M.
Published: (2024)

Simplicial Homotopy Type Theory is not just Simplicial: What are $\infty$-Categories?
by: Rasekh, Nima
Published: (2025)

Definable Obstruction Theory
by: Meadows, Nicholas
Published: (2025)

A type-theoretic definition of lax $(\infty,\infty)$-limits
by: Mikhail, Thomas Jan
Published: (2024)

Problems with fixpoints of polynomials of polynomials
by: Pradic, Cécilia, et al.
Published: (2026)

Ext groups in Homotopy Type Theory
by: Christensen, J. Daniel, et al.
Published: (2023)

Type Theory with Explicit Universe Polymorphism (revised and extended version)
by: Bezem, Marc, et al.
Published: (2022)

Relativized Galois groups of first order theories over a hyperimaginary
by: Lee, Hyoyoon, et al.
Published: (2024)