Copertina

Quasiminimality of complex powers

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Gallinaro, Francesco, Kirby, Jonathan
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

On Some Systems of Equations in Abelian Varieties
di: Gallinaro, Francesco
Pubblicazione: (2022)

Exponential sums equations and the Exponential Closedness conjecture
di: Aslanyan, Vahagn, et al.
Pubblicazione: (2024)

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

Exponential Sums Equations and Tropical Geometry
di: Gallinaro, Francesco
Pubblicazione: (2022)

Likely intersections in powers of the multiplicative group
di: Dill, Gabriel Andreas, et al.
Pubblicazione: (2025)

On the elementary theory of the real exponential field
di: Berarducci, Alessandro, et al.
Pubblicazione: (2026)

Projective curves and weak second-order logic
di: Berarducci, Alessandro, et al.
Pubblicazione: (2025)

The complexity of Presburger arithmetic with power or powers
di: Benedikt, Michael, et al.
Pubblicazione: (2023)

The complexity of being monitorable
di: Camerlo, Riccardo, et al.
Pubblicazione: (2026)

Automorphisms of valued fields: amalgamation and existential closedness
di: Dobrowolski, Jan, et al.
Pubblicazione: (2025)

On the expressive power of inquisitive team logic and inquisitive first-order logic
di: Kontinen, Juha, et al.
Pubblicazione: (2026)

Wider systems for linear logic with fixed points: proof theory and complexity
di: Das, Anupam, et al.
Pubblicazione: (2026)

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

Algebraic types in Zilber's exponential field
di: Aslanyan, Vahagn, et al.
Pubblicazione: (2024)

Proof complexity of positive branching programs
di: Das, Anupam, et al.
Pubblicazione: (2021)

Wadge degrees of $Δ^0_2$ omega-powers
di: Finkel, Olivier, et al.
Pubblicazione: (2024)

Reflexive graph lenses in univalent foundations
di: Sterling, Jonathan
Pubblicazione: (2024)

Cauchy-completions and the rule of unique choice in relational doctrines
di: Dagnino, Francesco, et al.
Pubblicazione: (2024)

The Relational Quotient Completion
di: Dagnino, Francesco, et al.
Pubblicazione: (2024)

Properties preserved by classes of Chu transforms
di: Parente, Francesco
Pubblicazione: (2024)

First order complexity of finite random structures
di: Demin, Danila, et al.
Pubblicazione: (2024)

A Direct Characterisation of Logical Grounds and a Decidability Proof
di: Genco, Francesco A.
Pubblicazione: (2025)

Strong partition relations below the power set: consistency, was Sierpinski right, II?
di: Shelah, Saharon
Pubblicazione: (1991)

Sequent calculi for first-order ST
di: Paoli, Francesco, et al.
Pubblicazione: (2026)

Strict universes for Grothendieck topoi
di: Gratzer, Daniel, et al.
Pubblicazione: (2022)

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

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

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

Canonicity in power and modal logics of finite achronal width
di: Goldblatt, Robert, et al.
Pubblicazione: (2022)

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

Integration in finite terms and exponentially algebraic functions
di: Jaoui, Rémi, et al.
Pubblicazione: (2025)

A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential
di: Dagnino, Francesco, et al.
Pubblicazione: (2023)

On the Isbell problem
di: Cancino-Manríquez, Jonathan, et al.
Pubblicazione: (2024)

Taylor expansions over generalised power series
di: Bagayoko, Vincent, et al.
Pubblicazione: (2025)

Dense metrizable subspaces in powers of Corson compacta
di: Leiderman, Arkady, et al.
Pubblicazione: (2024)

On the optimality of the HOD dichotomy
di: Goldberg, Gabriel, et al.
Pubblicazione: (2024)

Proof complexity of Mal'tsev CSP
di: Gaysin, Azza
Pubblicazione: (2025)

Borel complexity of the set of typical numbers
di: Tomaszewski, Jakub
Pubblicazione: (2022)

On the complexity of normalization for the planar $λ$-calculus
di: Das, Anupam, et al.
Pubblicazione: (2024)

Varieties of De Morgan bisemilattices
di: Paoli, Francesco, et al.
Pubblicazione: (2026)