:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Gallinaro, Francesco, Kirby, Jonathan
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Logic
Online-Zugang:	https://arxiv.org/abs/2304.06450
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

On Some Systems of Equations in Abelian Varieties
von: Gallinaro, Francesco
Veröffentlicht: (2022)

Exponential sums equations and the Exponential Closedness conjecture
von: Aslanyan, Vahagn, et al.
Veröffentlicht: (2024)

Dividing Lines between Positive Theories
von: Dmitrieva, Anna, et al.
Veröffentlicht: (2023)

Exponential Sums Equations and Tropical Geometry
von: Gallinaro, Francesco
Veröffentlicht: (2022)

Likely intersections in powers of the multiplicative group
von: Dill, Gabriel Andreas, et al.
Veröffentlicht: (2025)

On the elementary theory of the real exponential field
von: Berarducci, Alessandro, et al.
Veröffentlicht: (2026)

Projective curves and weak second-order logic
von: Berarducci, Alessandro, et al.
Veröffentlicht: (2025)

The complexity of Presburger arithmetic with power or powers
von: Benedikt, Michael, et al.
Veröffentlicht: (2023)

Automorphisms of valued fields: amalgamation and existential closedness
von: Dobrowolski, Jan, et al.
Veröffentlicht: (2025)

The complexity of being monitorable
von: Camerlo, Riccardo, et al.
Veröffentlicht: (2026)

Algebraic types in Zilber's exponential field
von: Aslanyan, Vahagn, et al.
Veröffentlicht: (2024)

On the expressive power of inquisitive team logic and inquisitive first-order logic
von: Kontinen, Juha, et al.
Veröffentlicht: (2026)

Wadge degrees of $Δ^0_2$ omega-powers
von: Finkel, Olivier, et al.
Veröffentlicht: (2024)

Wider systems for linear logic with fixed points: proof theory and complexity
von: Das, Anupam, et al.
Veröffentlicht: (2026)

Proof complexity of positive branching programs
von: Das, Anupam, et al.
Veröffentlicht: (2021)

Gödel Incompleteness Theorem for PAC Learnable Theory from the view of complexity measurement
von: Ma, Zhifeng, et al.
Veröffentlicht: (2024)

Integration in finite terms and exponentially algebraic functions
von: Jaoui, Rémi, et al.
Veröffentlicht: (2025)

Reflexive graph lenses in univalent foundations
von: Sterling, Jonathan
Veröffentlicht: (2024)

Cauchy-completions and the rule of unique choice in relational doctrines
von: Dagnino, Francesco, et al.
Veröffentlicht: (2024)

The Relational Quotient Completion
von: Dagnino, Francesco, et al.
Veröffentlicht: (2024)

First order complexity of finite random structures
von: Demin, Danila, et al.
Veröffentlicht: (2024)

Properties preserved by classes of Chu transforms
von: Parente, Francesco
Veröffentlicht: (2024)

Canonicity in power and modal logics of finite achronal width
von: Goldblatt, Robert, et al.
Veröffentlicht: (2022)

Strict universes for Grothendieck topoi
von: Gratzer, Daniel, et al.
Veröffentlicht: (2022)

A Direct Characterisation of Logical Grounds and a Decidability Proof
von: Genco, Francesco A.
Veröffentlicht: (2025)

Strong partition relations below the power set: consistency, was Sierpinski right, II?
von: Shelah, Saharon
Veröffentlicht: (1991)

Sequent calculi for first-order ST
von: Paoli, Francesco, et al.
Veröffentlicht: (2026)

A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential
von: Dagnino, Francesco, et al.
Veröffentlicht: (2023)

Measuring the complexity of characterizing $[0, 1]$, $S^1$, and $\mathbb{R}$ up to homeomorphism
von: Harrison-Trainor, Matthew, et al.
Veröffentlicht: (2024)

A geometric approach to some systems of exponential equations
von: Aslanyan, Vahagn, et al.
Veröffentlicht: (2021)

Domains and Classifying Topoi
von: Sterling, Jonathan, et al.
Veröffentlicht: (2025)

Upward Löwenheim-Skolem-Tarski Numbers for Abstract Logics
von: Gitman, Victoria, et al.
Veröffentlicht: (2024)

Taylor expansions over generalised power series
von: Bagayoko, Vincent, et al.
Veröffentlicht: (2025)

Dense metrizable subspaces in powers of Corson compacta
von: Leiderman, Arkady, et al.
Veröffentlicht: (2024)

Non-commutative linear logic fragments with sub-context-free complexity
von: Nishimiya, Yusaku, et al.
Veröffentlicht: (2025)

Logics with the axiom of convergence: complexity with a small number of variables in the language (extended version)
von: Rybakov, M., et al.
Veröffentlicht: (2025)

The fragment of elementary plane Euclidean geometry based on perpendicularity alone with complexity PSPACE-complete
von: Ivanova, Tatyana, et al.
Veröffentlicht: (2021)

Measuring Decidability as Related to Busy Beaver Numbers
von: Tandi, Gurpreet, et al.
Veröffentlicht: (2026)

On the Isbell problem
von: Cancino-Manríquez, Jonathan, et al.
Veröffentlicht: (2024)

Proof complexity of Mal'tsev CSP
von: Gaysin, Azza
Veröffentlicht: (2025)