Copertina

Preservation Theorems Through the Lens of Topology

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Lopez, Aliaume
Natura:	Preprint
Pubblicazione:	2020
Soggetti:	Logic in Computer Science Logic 03C40, 03C13, 54H30 F.4.1
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

A general approach to asymptotic elimination of aggregation functions and generalized quantifiers
di: Koponen, Vera, et al.
Pubblicazione: (2023)

A New Ehrenfeucht-Fraïssé Game for Dependence Logic
di: Puljujärvi, Joni, et al.
Pubblicazione: (2026)

A Guide to Krivine Realizability for Set Theory
di: Matthews, Richard
Pubblicazione: (2023)

Hereditary First-Order Logic: the tractable quantifier prefix classes
di: Bodirsky, Manuel, et al.
Pubblicazione: (2024)

On the Computational Power of Extensional ESO
di: Bodirsky, Manuel, et al.
Pubblicazione: (2025)

Glivenko's theorems from an ecumenical perspective
di: Pereira, Luiz Carlos, et al.
Pubblicazione: (2026)

A proof complexity conjecture and the Incompleteness theorem
di: Krajicek, Jan
Pubblicazione: (2023)

Interpolation and the Exchange Rule
di: Fussner, Wesley, et al.
Pubblicazione: (2023)

Gödel coding on fibrations and geminal categories
di: Ikeda, Yuto
Pubblicazione: (2026)

A Tame Generic Structure with Non-Algebraic Geometric Closure
di: Jalili, Somaye, et al.
Pubblicazione: (2020)

Finitary Simulation of Infinitary $β$-Reduction via Taylor Expansion, and Applications
di: Cerda, Rémy, et al.
Pubblicazione: (2022)

The reverse mathematics of the pigeonhole hierarchy
di: Houérou, Quentin Le, et al.
Pubblicazione: (2024)

Weihrauch problems as containers
di: Pradic, Cécilia, et al.
Pubblicazione: (2025)

Failure Modes for Structural Highness Notions
di: Calvert, Wesley, et al.
Pubblicazione: (2025)

Notions of rank and independence in countably categorical theories
di: Koponen, Vera
Pubblicazione: (2025)

A Complexity Dichotomy in Spatial Reasoning via Ramsey Theory
di: Bodirsky, Manuel, et al.
Pubblicazione: (2020)

Computability of the Hahn-Banach Theorem Revisited
di: Brattka, Vasco, et al.
Pubblicazione: (2026)

Labelled Well Quasi Ordered Classes of Bounded Linear Clique-Width
di: Lopez, Aliaume
Pubblicazione: (2024)

A convergence law for continuous logic and continuous structures with finite domains
di: Koponen, Vera
Pubblicazione: (2025)

On the expressive power of inquisitive epistemic logic
di: Ciardelli, Ivano, et al.
Pubblicazione: (2023)

Proof Compression via Subatomic Logic and Guarded Substitutions
di: Barrett, Victoria, et al.
Pubblicazione: (2025)

Forcing as a Local Method of Accessing Small Extensions
di: Lau, Desmond
Pubblicazione: (2024)

How to play the Accordion: Uniformity and the (non-)conservativity of the linear approximation of the λ-calculus (extended version)
di: Cerda, Rémy, et al.
Pubblicazione: (2023)

A Proof-Theoretic Approach to the Semantics of Classical Linear Logic
di: Barroso-Nascimento, Victor, et al.
Pubblicazione: (2025)

Cut elimination for propositional cyclic proof systems with fixed-point operators
di: Hori, Hiromasa, et al.
Pubblicazione: (2023)

Forcing with Language Fragments, Extending Namba Forcing, and Models of Theories with Constraints in Interpretation
di: Lau, Desmond
Pubblicazione: (2024)

On universal-homogeneous hyperbolic graphs and spaces and their isometry groups
di: Tent, Katrin
Pubblicazione: (2025)

Homological Invariants of Higher-Order Equational Theories
di: Ikebuchi, Mirai
Pubblicazione: (2025)

Arithmetics within the Linear Time Hierarchy
di: Pollett, Chris
Pubblicazione: (2025)

Inclusion with repetitions and Boolean constants -- implication problems revisited
di: Häggblom, Matilda
Pubblicazione: (2025)

Axiomatization of approximate exclusion
di: Häggblom, Matilda
Pubblicazione: (2024)

Axiomatizing approximate inclusion
di: Häggblom, Matilda
Pubblicazione: (2025)

Learning Families of Algebraic Structures from Text
di: Bazhenov, Nikolay, et al.
Pubblicazione: (2024)

A Lopez-Escobar Theorem for Continuous Domains
di: Bazhenov, Nikolay, et al.
Pubblicazione: (2023)

Effective bases and notions of effective second countability in computable analysis
di: Brattka, Vasco, et al.
Pubblicazione: (2025)

Y is a least fixed point combinator
di: Helfer, Joseph
Pubblicazione: (2025)

Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic
di: Santo, José Espírito, et al.
Pubblicazione: (2020)

What If Turing Had Preceded Gödel?
di: Oberhoff, Sebastian
Pubblicazione: (2024)

Internal Effectful Forcing in System T
di: Escardo, Martin H., et al.
Pubblicazione: (2025)