Copertina

Extreme types and extremal models

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Bagheri, Seyed-Mohammad
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Definability in affine continuous logic
di: Bagheri, Seyed-Mohammad
Pubblicazione: (2024)

On models of affine arithmetic
di: Bagheri, Seyed-Mohammad
Pubblicazione: (2025)

Affinization and quantifier-elimination
di: Bagheri, Seyed-Mohammad
Pubblicazione: (2025)

Elements of affine model theory
di: Bagheri, Seyed-Mohammad
Pubblicazione: (2024)

Affine logic with the integration operator
di: Bagheri, Seyed-Mohammad
Pubblicazione: (2026)

A concrete model for a typed linear algebraic lambda calculus
di: Díaz-Caro, Alejandro, et al.
Pubblicazione: (2018)

Bijective proofs for Eulerian numbers of types B and D
di: Santocanale, Luigi
Pubblicazione: (2021)

The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory
di: de Jong, Tom, et al.
Pubblicazione: (2026)

List types for resource aware languages: an implicit name approach
di: Ghilezan, Silvia, et al.
Pubblicazione: (2021)

Central H-spaces and banded types
di: Buchholtz, Ulrik, et al.
Pubblicazione: (2023)

$\text{C}^2\text{P}$: Featuring Large Language Models with Causal Reasoning
di: Bagheri, Abdolmahdi, et al.
Pubblicazione: (2024)

On the number of cofinalities of cuts in ultraproducts of linear orders
di: Golshani, Mohammad
Pubblicazione: (2025)

Completions of Kleene's second model
di: Terwijn, Sebastiaan A.
Pubblicazione: (2023)

Weakly o-minimal types
di: Moconja, Slavko, et al.
Pubblicazione: (2024)

On the Tukey types of Fubini products
di: Benhamou, Tom, et al.
Pubblicazione: (2023)

Homotopy type theory as a language for diagrams of $\infty$-logoses
di: Uemura, Taichi
Pubblicazione: (2022)

Formalizing two-level type theory with cofibrant exo-nat
di: Uskuplu, Elif
Pubblicazione: (2023)

Yet another cubical type theory, but via a semantic approach
di: Kapulkin, Chris, et al.
Pubblicazione: (2025)

Relating homotopy equivalences to conservativity in dependent type theories with computation axioms
di: Spadetto, Matteo
Pubblicazione: (2023)

On maximal order type of the lexicographic product
di: Džamonja, Mirna, et al.
Pubblicazione: (2024)

On f-generic types in NIP groups
di: Stonestrom, Atticus
Pubblicazione: (2023)

Constructive higher sheaf models with applications to synthetic mathematics
di: Coquand, Thierry, et al.
Pubblicazione: (2026)

A Stone-type duality for semilattices with adjunctions
di: Gimenez, B., et al.
Pubblicazione: (2024)

Cofinal types of ultrafilters over measurable cardinals
di: Benhamou, Tom, et al.
Pubblicazione: (2023)

Maximal WAP and tame quotients of type spaces
di: Krupiński, Krzysztof, et al.
Pubblicazione: (2025)

Isomorphism types of definable (maximal) cofinitary groups
di: Schembecker, Lukas
Pubblicazione: (2025)

The special Aronszajn tree property at $\aleph_2$ and $GCH$
di: Asperó, David, et al.
Pubblicazione: (2018)

The measuring principle and the continuum hypothesis
di: Golshani, Mohammad, et al.
Pubblicazione: (2022)

The proper forcing axiom for $\aleph_1$-sized posets, $ω_1$-linked symmetrically proper forcing, and the size of the continuum
di: Asperó, David, et al.
Pubblicazione: (2022)

On a Question of Hamkins and Löwe on the modal logic of collapse forcing
di: Golshani, Mohammad, et al.
Pubblicazione: (2016)

On fresh sets in iterations of Prikry type forcing notions
di: Gitik, Moti, et al.
Pubblicazione: (2024)

Maximal stable quotients of invariant types in NIP theories
di: Krupiński, Krzysztof, et al.
Pubblicazione: (2023)

Degree spectra of homeomorphism types of compact Polish spaces
di: Hoyrup, Mathieu, et al.
Pubblicazione: (2020)

On the preservation of unification type of Heyting algebras and interior algebras
di: Düntsch, Ivo, et al.
Pubblicazione: (2025)

Adding Abraham clubs and $α$-properness
di: Golshani, Mohammad, et al.
Pubblicazione: (2024)

Extensional realizability and choice for dependent types in intuitionistic set theory
di: Frittaion, Emanuele
Pubblicazione: (2024)

Naturality and Definability III
di: Asgharzadeh, Mohsen, et al.
Pubblicazione: (2023)

Strong Completeness of Provability Logic for Uncountable Languages
di: Golshani, Mohammad, et al.
Pubblicazione: (2026)

Generic bidirectional typing for dependent type theories
di: Felicissimo, Thiago
Pubblicazione: (2023)

Tarski's least fixed point theorem: A predicative type theoretic formulation
di: Ray, Ian
Pubblicazione: (2024)