Imagen de Portada

Dependent Types Simplified

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Bice, Tristan
Formato:	Preprint
Publicado:	2025
Materias:	Logic 03B38, 03B40, 03C55, 03E30, 68V20
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Weak compactness cardinals for strong logics and subtlety properties of the class of ordinals
por: Lücke, Philipp
Publicado: (2024)

Remarks on Primitive Regulation
por: Rosko, Milan
Publicado: (2026)

A minimalist two-level foundation for constructive mathematics
por: Maietti, Maria Emilia
Publicado: (2008)

A new decision method for Intuitionistic Logic by 3-valued non-deterministic truth-tables (pre-print version)
por: Leme, Renato, et al.
Publicado: (2023)

Monoid Theory in Alonzo: A Little Theories Formalization in Simple Type Theory
por: Farmer, William M., et al.
Publicado: (2023)

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

Biased elementary doctrines and quotient completions
por: Cioffo, Cipriano Junior
Publicado: (2023)

A complicated family of trees with omega + 1 levels
por: Shelah, Saharon
Publicado: (2014)

A vector logic for extensional formal semantics
por: Quigley, Daniel
Publicado: (2024)

A note on Łoś's Theorem without the Axiom of Choice
por: Usuba, Toshimichi
Publicado: (2023)

NF is Consistent
por: Holmes, M. Randall, et al.
Publicado: (2015)

Herbrandized modified realizability
por: Ferreira, Gilda, et al.
Publicado: (2024)

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

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

A New Overture to Classical Simple Type Theory, Ketonen-type Gentzen and Tableau Systems
por: Miwa, Tadayoshi, et al.
Publicado: (2026)

Librationism & its classical and extraclassical set theories
por: Bjørdal, Frode A.
Publicado: (2022)

Force a set model of $Z_3$ + Harrington's Principle
por: Cheng, Yong
Publicado: (2014)

Reflection in second-order set theory with abundant urelements bi-interprets a supercompact cardinal
por: Hamkins, Joel David, et al.
Publicado: (2022)

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

Varsovian models II
por: Sargsyan, Grigor, et al.
Publicado: (2021)

Generically extendible cardinals
por: Usuba, Toshimichi
Publicado: (2022)

On a cofinal Reinhardt embedding without Powerset
por: Jeon, Hanul
Publicado: (2024)

More on expressibility of satisfiability in submodels and extensions
por: Poliakov, Nikolai L., et al.
Publicado: (2026)

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

Local mantles of $L[x]$
por: Schlutzenberg, Farmer
Publicado: (2021)

Aronszajn trees and maximality
por: Ben-Neria, Omer, et al.
Publicado: (2023)

On a Conjecture Regarding the Mouse Order for Weasels
por: Kruschewski, Jan, et al.
Publicado: (2022)

Model theory of class-sized logics
por: Osinski, Jonathan, et al.
Publicado: (2026)

Homogeneity of the Lévy collapse from the perspective of Fraïssé theory
por: Kostana, Ziemowit
Publicado: (2026)

Algebraizable Weak Logics
por: Nakov, Georgi, et al.
Publicado: (2022)

Axiomatization and Forcing in Set Theory with Urelements
por: Yao, Bokai
Publicado: (2022)

The Horizontal Direction
por: van der Vlugt, Tristan
Publicado: (2025)

From Internal to External: Classical Models of ZF + PP + $\neg$AC
por: Gilson, Frank
Publicado: (2025)

Broad Infinity and Generation Principles
por: Levy, Paul Blain
Publicado: (2021)

Random expansions of trees with bounded height
por: Koponen, Vera, et al.
Publicado: (2024)

The tree pigeonhole principle in the Weihrauch degrees
por: Dzhafarov, Damir, et al.
Publicado: (2023)

Taking model-complete cores
por: Bodirsky, Manuel, et al.
Publicado: (2025)

Iteration theorems for subversions of forcing classes
por: Fuchs, Gunter, et al.
Publicado: (2020)

Categoricity and amalgamation for AEC and $ κ$ measurable
por: Kolman, Oren, et al.
Publicado: (1996)

No universal group in a cardinal
por: Shelah, Saharon
Publicado: (2013)