Imagen de Portada

A two-sorted theory of nilpotent Lie algebras

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	d'Elbée, Christian, Müller, Isabel, Ramsey, Nicholas, Siniora, Daoud
Formato:	Preprint
Publicado:	2024
Materias:	Logic
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

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

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

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

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

Classification Theory and the Construction of PAC Fields
por: Ramsey, Nicholas
Publicado: (2026)

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

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

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

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

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

Lie rings in finite-dimensional theories
por: Invitti, Moreno
Publicado: (2025)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Proof mining and probability theory
por: Neri, Morenikeji, et al.
Publicado: (2024)

Cofinality of Regular Tournaments
por: Hatem, Omar, et al.
Publicado: (2026)

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

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

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

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

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

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

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

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

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