:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	d'Elbée, Christian, Müller, Isabel, Ramsey, Nicholas, Siniora, Daoud
Format:	Preprint
Published:	2023
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2310.17595
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A two-sorted theory of nilpotent Lie algebras
by: d'Elbée, Christian, et al.
Published: (2024)

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

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

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

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

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

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

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

Classification Theory and the Construction of PAC Fields
by: Ramsey, Nicholas
Published: (2026)

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

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

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

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

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

Some results in non-monotonic proof-theoretic semantics
by: d'Aragona, Antonio Piccolomini
Published: (2025)

Uniform validity of atomic Split rule in monotonic proof-theoretic semantics
by: d'Aragona, Antonio Piccolomini
Published: (2025)

Model-theoretic Tameness in finite extensions of groups
by: Halevi, Yatir, et al.
Published: (2026)

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

A proof-theoretic metatheorem for nonlinear semigroups generated by an accretive operator and applications
by: Pischke, Nicholas
Published: (2023)

Embedding stable groups into algebraic groups
by: Bartnick, Charlotte
Published: (2025)

Cofinality of Regular Tournaments
by: Hatem, Omar, et al.
Published: (2026)

Characterizing fragments of collection principle in set theory with model theoretic properties
by: Chen, Junhong
Published: (2025)

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

Proof-theoretic Semantics for the Logic of Bunched Implications
by: Gu, Tao, et al.
Published: (2023)

Proof-theoretic Semantics for Second-order Logic
by: Gheorghiu, Alexander V., et al.
Published: (2025)

Countability constraints in order-theoretic approaches to computability
by: Hack, Pedro, et al.
Published: (2022)

Proof-theoretic Semantics for First-order Logic
by: Gheorghiu, Alexander V.
Published: (2024)

A proof-theoretic approach to abstract interpretation
by: D'Silva, Vijay, et al.
Published: (2026)

A canonical Makanin-Razborov diagram and a pseudo topology for sets of tuples in free groups, semigroups, associative algebras and Lie algebras I
by: Sela, Z.
Published: (2025)

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial
by: Gheorghiu, Alexander V., et al.
Published: (2025)

An ecumenical view of proof-theoretic semantics
by: Nascimento, Victor, et al.
Published: (2023)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
by: Gheorghiu, Alexander V., et al.
Published: (2023)

A completeness theorem in proof-theoretic semantics via set-theoretic semantics
by: Takemura, Ryo
Published: (2025)

Strongly minimal group relics of algebraically closed valued fields
by: Onshuus, Alf, et al.
Published: (2024)

From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
by: Gheorghiu, Alexander V., et al.
Published: (2022)

Model-theoretic Forcing in Transition Algebra
by: Hashimoto, Go, et al.
Published: (2025)

Varieties of modal algebras without the congruence extension property
by: Gyenis, Zalán, et al.
Published: (2024)

Game-theoretic variants of cardinal invariants
by: Chapital, Jorge Antonio Cruz, et al.
Published: (2023)

Game-theoretic variants of splitting number
by: Chapital, Jorge Antonio Cruz, et al.
Published: (2024)

A proof-theoretical approach to some extensions of first order quantification
by: Allègre, Loïc, et al.
Published: (2024)