Showing 1–5 of 5 results for author: Kestner, C

Some model theory of quadratic geometries

Authors: Charlotte Kestner, Nicholas Ramsey

Abstract: Orthogonal spaces are vector spaces together with a quadratic form whose associated bilinear form is non-degenerate. Over fields of characteristic two, there are many quadratic forms associated to a given bilinear form and quadratic geometries are structures that encode a vector space over a field of characteristic 2 with a non-degenerate bilinear form together with a space of associated quadratic… ▽ More Orthogonal spaces are vector spaces together with a quadratic form whose associated bilinear form is non-degenerate. Over fields of characteristic two, there are many quadratic forms associated to a given bilinear form and quadratic geometries are structures that encode a vector space over a field of characteristic 2 with a non-degenerate bilinear form together with a space of associated quadratic forms. These structures over finite fields of characteristic 2 form an important part of the basic geometries that appear in the Lie coordinatizable structures of Cherlin and Hrushovski. We (a) describe the respective model companions of the theory of orthogonal spaces and the theory of quadratic geometries and (b) classify the pseudo-finite completions of these theories. We also (c) give a neostability-theoretic classification of the model companions and these pseudo-finite completions. This is a small step towards understanding the analogue of the Cherlin-Hrushovski theory of Lie coordinatizable structures in a setting where the involved fields may be pseudo-finite. △ Less

Submitted 19 August, 2024; originally announced August 2024.

The model theory of Commutative Near Vector Spaces

Authors: Karin-Therese Howell, Charlotte Kestner

Abstract: In this paper we study near vector spaces over a commutative $F$ from a model theoretic point of view. In this context we show regular near vector spaces are in fact vector spaces. We find that near vector spaces are not first order axiomatisable, but that finite block near vector spaces are. In the latter case we establish quantifier elimination, and that the theory is controlled by which element… ▽ More In this paper we study near vector spaces over a commutative $F$ from a model theoretic point of view. In this context we show regular near vector spaces are in fact vector spaces. We find that near vector spaces are not first order axiomatisable, but that finite block near vector spaces are. In the latter case we establish quantifier elimination, and that the theory is controlled by which elements of the pointwise additive closure of $F$ are automorphisms of the near vector space. △ Less

Submitted 11 July, 2022; v1 submitted 17 July, 2018; originally announced July 2018.

Theories with distal Shelah expansions

Authors: Gareth Boxall, Charlotte Kestner

Abstract: We show that a complete first-order theory $T$ is distal provided it has a model $M$ such that the theory of the Shelah expansion of $M$ is distal. We show that a complete first-order theory $T$ is distal provided it has a model $M$ such that the theory of the Shelah expansion of $M$ is distal. △ Less

Submitted 25 November, 2019; v1 submitted 8 January, 2018; originally announced January 2018.

The definable (p,q)-theorem for distal theories

Authors: Gareth Boxall, Charlotte Kestner

Abstract: Answering a special case of a question of Chernikov and Simon, we show that any non-dividing formula over a model M in a distal NIP theory is a member of a consistent definable family, definable over M. Answering a special case of a question of Chernikov and Simon, we show that any non-dividing formula over a model M in a distal NIP theory is a member of a consistent definable family, definable over M. △ Less

Submitted 20 January, 2017; v1 submitted 3 February, 2016; originally announced February 2016.

Comments: 6 pages

MSC Class: 03C45

Remarks on unimodularity

Authors: Charlotte Kestner, Anand Pillay

Abstract: We clarify the relationship between unimodulariy in the sense of Hrushovski and measurability in the sense of Macpherson and Steinhorn, correcting some statements in the literature. In particular we point out that the notions coincide for strongly minimal sets. We clarify the relationship between unimodulariy in the sense of Hrushovski and measurability in the sense of Macpherson and Steinhorn, correcting some statements in the literature. In particular we point out that the notions coincide for strongly minimal sets. △ Less

Submitted 5 December, 2010; originally announced December 2010.

Comments: 8 pages

MSC Class: 03C45