:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Meir, Nadav, Papadopoulos, Aris, Touchard, Pierre
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Logic
Accesso online:	https://arxiv.org/abs/2311.05996
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Mekler's Construction and Murphy's Law for 2-Nilpotent Groups
di: Boissonneau, Blaise, et al.
Pubblicazione: (2024)

Simple Homogeneous Structures and Indiscernible Sequence Invariants
di: Baldwin, John, et al.
Pubblicazione: (2024)

Indiscernibles in monadically NIP theories
di: Braunfeld, Samuel, et al.
Pubblicazione: (2024)

Stably Embedded Pairs of Ordered Abelian Groups
di: Hils, Martin, et al.
Pubblicazione: (2023)

Dividing Lines between Positive Theories
di: Dmitrieva, Anna, et al.
Pubblicazione: (2023)

On the global linear Zarankiewicz problem
di: Eleftheriou, Pantelis E., et al.
Pubblicazione: (2025)

The externally definable Ramsey property and fixed points on type spaces
di: Meir, Nadav, et al.
Pubblicazione: (2023)

Linear theories of global fields with absolute values
di: Fehm, Arno, et al.
Pubblicazione: (2026)

Indiscernible extraction at small large cardinals from a higher-arity stability notion
di: Hanson, James E.
Pubblicazione: (2025)

Exact VC-Dimensions of Certain Geometric Set Systems
di: Eleftheriou, Pantelis E., et al.
Pubblicazione: (2025)

Generalisation of proof simulation procedures for Frege systems by M.L.~Bonet and S.R.~Buss
di: Kozhemiachenko, Daniil
Pubblicazione: (2024)

Cardinal Characteristics on Bounded Generalised Baire Spaces
di: van der Vlugt, Tristan
Pubblicazione: (2023)

A Class of Generalised Quantifiers for k-Variable Logics
di: Härtter, Janek, et al.
Pubblicazione: (2026)

Separating Many Localisation Cardinals on the Generalised Baire Space
di: van der Vlugt, Tristan
Pubblicazione: (2022)

Growing Spines: Ad Infinitum et Ad Infinitesimalia
di: Boissonneau, Blaise, et al.
Pubblicazione: (2025)

Consequences of Dependent Dividing on Burden
di: Takahashi, Yuki
Pubblicazione: (2025)

Growing Spines Ad Infinitum
di: Boissonneau, Blaise, et al.
Pubblicazione: (2025)

Universal Quantitative Algebra for Fuzzy Relations and Generalised Metric Spaces
di: Mio, Matteo, et al.
Pubblicazione: (2023)

A Semantic Proof of Generalised Cut Elimination for Deep Inference
di: Atkey, Robert, et al.
Pubblicazione: (2024)

Game Comonads & Generalised Quantifiers
di: Conghaile, Adam Ó, et al.
Pubblicazione: (2020)

Generalised Reachability Games Revisited
di: Bose, Sougata, et al.
Pubblicazione: (2025)

Iterating Generalised Perfect Set Forcing Along Well-Founded Orders
di: Džamonja, Mirna
Pubblicazione: (2026)

Coordinate recognition: General theory, Groups, and other surprises
di: Farah, I., et al.
Pubblicazione: (2025)

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

Simple Classes of Automatic Structures
di: Blumensath, Achim
Pubblicazione: (2025)

From Thin Concurrent Games to Generalized Species of Structures (Extended Version)
di: Clairambault, Pierre, et al.
Pubblicazione: (2023)

For Generalised Algebraic Theories, Two Sorts Are Enough
di: Avrillon, Samy, et al.
Pubblicazione: (2026)

Generalised Quantifiers Based on Rabin-Mostowski Index
di: Kuperberg, Denis, et al.
Pubblicazione: (2026)

Strong Dinatural Transformations and Generalised Codensity Monads
di: Piróg, Maciej, et al.
Pubblicazione: (2025)

Transductions of Graph Classes Admitting Product Structure
di: Hliněný, Petr, et al.
Pubblicazione: (2025)

On-the-fly LTLf Synthesis under Partial Observability
di: Alon, Nadav, et al.
Pubblicazione: (2026)

Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification
di: Kasibatla, Saketh Ram, et al.
Pubblicazione: (2024)

Dp and other minimalities
di: Simon, Pierre, et al.
Pubblicazione: (2019)

Nested Sequents for Intuitionistic Grammar Logics via Structural Refinement
di: Lyon, Tim S.
Pubblicazione: (2022)

Truncation Structures
di: Dries, Lou van den
Pubblicazione: (2025)

Proxy principles in combinatorial set theory
di: Brodsky, Ari Meir, et al.
Pubblicazione: (2024)

The Size-Change Principle for Mixed Inductive and Coinductive types
di: Hyvernat, Pierre
Pubblicazione: (2024)

The Qualitative Collapse of Concurrent Games
di: Clairambault, Pierre
Pubblicazione: (2024)

A Relational Theory of Grounding and a new Grounder for SMT
di: Carbonnelle, Pierre
Pubblicazione: (2026)

Good points for scales (and more)
di: Pierre Matet
Pubblicazione: (2024)