:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autore principale:	Bannister, Nathaniel
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic
Accesso online:	https://arxiv.org/abs/2411.05967
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Additivity of derived limits in the Cohen model
di: Bannister, Nathaniel
Pubblicazione: (2023)

Nonvanishing Higher Derived Limits without $w\diamondsuit_{ω_1}$
di: Bannister, Nathaniel
Pubblicazione: (2025)

All you need is $\mathbf{A}_κ$
di: Bannister, Nathaniel
Pubblicazione: (2025)

Condensed Sets and the Solovay Model
di: Bannister, Nathaniel, et al.
Pubblicazione: (2026)

Local and global $d$-rigidity are not definable in the first order logic of graphs
di: Bernstein, Daniel Irving, et al.
Pubblicazione: (2025)

Trace definability III: Infinite dimensional space over a model of $T$
di: Walsberg, Erik
Pubblicazione: (2026)

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

Substitution Without Copy and Paste
di: Altenkirch, Thorsten, et al.
Pubblicazione: (2025)

Local structure of idempotent algebras I
di: Bulatov, Andrei A.
Pubblicazione: (2020)

Quasi-Polish spaces and spaces of filters in second-order arithmetic
di: Kaneko, Yuzuki, et al.
Pubblicazione: (2026)

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

Function spaces for orbit-finite sets
di: Bojańczyk, Mikołaj, et al.
Pubblicazione: (2024)

Effective weak convergence and tightness of measures in computable Polish spaces
di: Rojas, Diego A.
Pubblicazione: (2024)

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

Partitions of Baire space into compact sets
di: Fischer, Vera, et al.
Pubblicazione: (2023)

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

On Star operation and some ideals on the Baire space
di: Cieślak, Aleksander, et al.
Pubblicazione: (2026)

Fodor space in generalized descriptive set theory
di: Feldman, Ido, et al.
Pubblicazione: (2026)

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

LFPL: Revisited and Mechanized
di: Glover, Nathaniel, et al.
Pubblicazione: (2026)

Hanf Locality and Invariant Elementary Definability
di: Lindell, Steven, et al.
Pubblicazione: (2025)

Uniform Local Tabularity in Intuitionistic Logic
di: Almeida, Rodrigo Nicolau
Pubblicazione: (2026)

Measuring robustness of dynamical systems. Relating time and space to length and precision
di: Blanc, Manon, et al.
Pubblicazione: (2023)

Reverse mathematics of regular countable second countable spaces
di: Genovesi, Giorgio G.
Pubblicazione: (2024)

On a lattice of relational spaces (reducts) for the order of integers
di: Semenov, A. L., et al.
Pubblicazione: (2024)

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

Locality in Residuated-Lattice Structures
di: Carr, James
Pubblicazione: (2025)

The equivariant model structure on cartesian cubical sets
di: Awodey, Steve, et al.
Pubblicazione: (2024)

Weak A2 spaces, the Kastanas game and strategically Ramsey sets
di: Yung, Clement
Pubblicazione: (2024)

Full mad families of vector spaces and two local Ramsey theories
di: Yung, Clement
Pubblicazione: (2025)

A note on quantitative stability in Hilbert spaces
di: Jing, Yifan
Pubblicazione: (2026)

Local Tabularity is Decidable for Bi-Intermediate Logics of Trees and of Co-Trees
di: Martins, Miguel, et al.
Pubblicazione: (2024)

Local-Order-Invariant Logic on Classes of Bounded Degree
di: Aoki, Derek
Pubblicazione: (2025)

Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng measure theory
di: Petrakis, Iosif, et al.
Pubblicazione: (2022)

Uniform Local Weak o‐Minimality and ∗$*$‐Local Weak o‐Minimality
di: Masato Fujita
Pubblicazione: (2025)

The ZOO of combinatorial Banach spaces
di: Borodulin-Nadzieja, Piotr, et al.
Pubblicazione: (2024)

Biquadratic spaces of length two
di: Danelon, Alessandro, et al.
Pubblicazione: (2024)

Continuous colorings on compact spaces
di: de Rancourt, Noé, et al.
Pubblicazione: (2025)

Dual Ploščica spaces of ortholattices
di: Craig, Andrew, et al.
Pubblicazione: (2026)

Chang models over derived models with supercompact measures
di: Gappo, Takehiko, et al.
Pubblicazione: (2023)