Cover Image

A minimalist two-level foundation for constructive mathematics

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Maietti, Maria Emilia
Format:	Preprint
Published:	2008
Subjects:	Logic 03G30, 03B15, 18C50, 03B20, 03F55
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Remarks on Primitive Regulation
by: Rosko, Milan
Published: (2026)

The Compatibility of the Minimalist Foundation with Homotopy Type Theory
by: Contente, Michele, et al.
Published: (2022)

Algebraizable Weak Logics
by: Nakov, Georgi, et al.
Published: (2022)

A $j$-translation with Kripke forcing relation
by: Nakata, Satoshi
Published: (2026)

A 2-categorical approach to the semantics of dependent type theory with computation axioms
by: Spadetto, Matteo
Published: (2025)

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

Craig Interpolation for Subgeometric Logics
by: Di Liberti, Ivan, et al.
Published: (2026)

Lewis and Brouwer meet Strong Löb
by: Visser, Albert, et al.
Published: (2024)

The biequivalence of path categories and axiomatic Martin-Löf type theories
by: Otten, Daniël, et al.
Published: (2025)

A Note on Los's Theorem for Kripke-Joyal Semantics
by: Aiguier, Marc, et al.
Published: (2024)

Dependent Types Simplified
by: Bice, Tristan
Published: (2025)

A non-speedup result for the chain-antichain principle over a weak base theory
by: Kowalik, Katarzyna W.
Published: (2025)

Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
by: Lyon, Tim S.
Published: (2025)

Logic families
by: Andréka, H., et al.
Published: (2023)

Finite Combinatorics and Fragments of Arithmetic
by: Wang, Wei
Published: (2025)

An unusual example of a universal automorphism group
by: Sullivan, Rob, et al.
Published: (2026)

Weak and Strong Versions of Effective Transfinite Recursion
by: Uftring, Patrick
Published: (2022)

Dilators and the reverse mathematics zoo
by: Freund, Anton
Published: (2024)

Herbrandized modified realizability
by: Ferreira, Gilda, et al.
Published: (2024)

A Completeness Theorem for Topological Doctrines
by: Ghilardi, Silvio, et al.
Published: (2025)

Coherence for logicians
by: Petric, Zoran, et al.
Published: (2024)

A characterization of Continuous Logic by using quantale-valued logics
by: Reyes, David, et al.
Published: (2021)

On a new theory of models for formal mathematical systems
by: Kunik, Matthias
Published: (2026)

On the theories classified by an étendue
by: Wrigley, Joshua
Published: (2025)

A vector logic for extensional formal semantics
by: Quigley, Daniel
Published: (2024)

Reverse mathematics of a uniform Kruskal-Friedman theorem
by: Freund, Anton
Published: (2021)

On inverse Goodstein sequences
by: Uftring, Patrick
Published: (2023)

Induction on Dilators and Bachmann-Howard Fixed Points
by: Aguilera, Juan P., et al.
Published: (2024)

Extensive embeddings into Fraïssé structures and stationary weak independence relations
by: Kwiatkowska, Aleksandra, et al.
Published: (2025)

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

Failure of Esakia's theorem in the monadic setting
by: Bezhanishvili, Guram, et al.
Published: (2024)

Esakia's theorem for the amended monadic intuitionistic calculus
by: Bezhanishvili, Guram, et al.
Published: (2025)

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

Open questions about Ramsey-type statements in reverse mathematics
by: Patey, Ludovic
Published: (2015)

Blok-Esakia Theorems via Stable Canonical Rules
by: Bezhanishvili, Nick, et al.
Published: (2022)

An Algebraic Abstraction of the Localic Sheafification via the Tripos-to-Topos Construction
by: Maietti, Maria Emilia, et al.
Published: (2025)

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

The Galvin-Prikry Theorem in the Weihrauch lattice
by: Marcone, Alberto, et al.
Published: (2024)

Feferman's completeness theorem
by: Pakhomov, Fedor, et al.
Published: (2024)