Copertina

A two-sorted theory of nilpotent Lie algebras

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	d'Elbée, Christian, Müller, Isabel, Ramsey, Nicholas, Siniora, Daoud
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Model-theoretic properties of nilpotent groups and Lie algebras
di: d'Elbée, Christian, et al.
Pubblicazione: (2023)

Wilson conjecture for omega-categorical Lie algebras, the case 4-Engel characteristic 3
di: d'Elbée, Christian
Pubblicazione: (2024)

Wilson conjecture for omega-categorical Lie algebras, the case 3-Engel characteristic 5
di: d'Elbée, Christian
Pubblicazione: (2024)

Axiomatic Theory of Independence Relations in Model Theory
di: d'Elbée, Christian
Pubblicazione: (2023)

Generic multiplicative endomorphism of a field
di: d'Elbée, Christian
Pubblicazione: (2022)

Measures and stability in a model, revisited
di: d'Elbée, Christian, et al.
Pubblicazione: (2026)

The classification of dp-minimal integral domains
di: d'Elbée, Christian, et al.
Pubblicazione: (2024)

Some model theory of quadratic geometries
di: Kestner, Charlotte, et al.
Pubblicazione: (2024)

Classification Theory and the Construction of PAC Fields
di: Ramsey, Nicholas
Pubblicazione: (2026)

A monoidal category of dependently sorted algebraic theories I: syntax
di: Almeida, Daniel
Pubblicazione: (2025)

A New Kim's Lemma
di: Kruckman, Alex, et al.
Pubblicazione: (2023)

Measures on bounded perfect PAC fields
di: Chatzidakis, Zoé, et al.
Pubblicazione: (2025)

Primitive pseudo-finite permutation groups of finite SU-rank
di: Karhumäki, Ulla, et al.
Pubblicazione: (2025)

The nonexistence of unicorns and many-sorted Löwenheim-Skolem theorems
di: Przybocki, Benjamin, et al.
Pubblicazione: (2024)

Lie rings in finite-dimensional theories
di: Invitti, Moreno
Pubblicazione: (2025)

A characterization of the $n$-ary many-sorted closure operators and a many-sorted Tarski irredundant basis theorem
di: Vidal, Juan Climent, et al.
Pubblicazione: (2017)

Speedups for Presburger Arithmetic and Real Closed Fields
di: Pakhomov, Fedor, et al.
Pubblicazione: (2026)

Calculi of epistemic grounding based on Prawitz's theory of grounds
di: d'Aragona, Antonio Piccolomini
Pubblicazione: (2025)

On the cohomology of finite-dimensional nilpotent groups and Lie rings
di: Zamour, Samuel
Pubblicazione: (2025)

Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds
di: d'Aragona, Antonio Piccolomini
Pubblicazione: (2025)

Model theory of term algebras revisited
di: Carolillo, Davide, et al.
Pubblicazione: (2026)

Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations
di: Ayhan, Sara
Pubblicazione: (2023)

A comparison of three kinds of monotonic proof-theoretic semantics and the base-incompleteness of intuitionistic logic
di: d'Aragona, Antonio Piccolomini
Pubblicazione: (2025)

A Group with Exactly One Noncommutator
di: Hatem, Omar, et al.
Pubblicazione: (2025)

A systematic way of analysing proofs in probability theory
di: Neri, Morenikeji, et al.
Pubblicazione: (2026)

Cyclic system for an algebraic theory of alternating parity automata
di: Das, Anupam, et al.
Pubblicazione: (2025)

Formalizing two-level type theory with cofibrant exo-nat
di: Uskuplu, Elif
Pubblicazione: (2023)

An algebraic theory of ω-regular languages, via μν-expressions
di: Das, Anupam, et al.
Pubblicazione: (2025)

Computable $K$-theory for C*-algebras II: AF algebras
di: Eagle, Christopher J., et al.
Pubblicazione: (2026)

Proof mining and probability theory
di: Neri, Morenikeji, et al.
Pubblicazione: (2024)

Cofinality of Regular Tournaments
di: Hatem, Omar, et al.
Pubblicazione: (2026)

Geometric theories for real number algebra without sign test or dependent choice axiom
di: Lombardi, Henri, et al.
Pubblicazione: (2024)

Duality theory and representations for distributive quasi relation algebras and DInFL-algebras
di: Craig, Andrew, et al.
Pubblicazione: (2025)

Equational theory of ordinals with addition and left multiplication by $ω$
di: Choffrut, Christian
Pubblicazione: (2024)

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

A note on schematic validity and completeness in Prawitz's semantics
di: d'Aragona, Antonio Piccolomini
Pubblicazione: (2025)

Operational semantics and program verification using many-sorted hybrid modal logic
di: Leustean, Ioana, et al.
Pubblicazione: (2019)

Comparing semantic frameworks for dependently-sorted algebraic theories
di: Ahrens, Benedikt, et al.
Pubblicazione: (2024)

Difference-restriction algebras with operators
di: Borlido, Célia, et al.
Pubblicazione: (2025)

Universal homogeneous two-sorted ultrametric spaces
di: Bartoš, Adam, et al.
Pubblicazione: (2026)