Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userA note on the effective listing of complete types
80
0
0.0
(
0
)
Authors
Anand Pillay
Ask ChatGPT about the research
No Arabic abstract
We use the geometric axioms point of view to give an effective listing of the complete types of the theory $DCF_{0}$ of differentially closed fields of characteristic $0$. This gives another account of observations made in earlier papers.
rate research
Read More
The purpose of this note is to discuss some of the questions raised by Dunn, J. Michael; Moss, Lawrence S.; Wang, Zhenghan in Editors introduction: the third life of quantum logic: quantum logic inspired by quantum computing.
In this paper we start the analysis of the class $mathcal D_{aleph_2}$, the class of cofinal types of directed sets of cofinality at most $aleph_2$. We compare elements of $mathcal D_{aleph_2}$ using the notion of Tukey reducibility. We isolate some simple cofinal types in $mathcal D_{aleph_2}$, and then proceed to show which of these types have an immediate successor in the Tukey ordering of $mathcal D_{aleph_2}$.
We propose a system for the interpretation of anaphoric relationships between unbound pronouns and quantifiers. The main technical contribution of our proposal consists in combining generalized quantifiers with dependent types. Empirically, our system allows a uniform treatment of all types of unbound anaphora, including the notoriously difficult cases such as quantificational subordination, cumulative and branching continuations, and donkey anaphora.
We give a short proof based on Lusztigs generalized Springer correspondence of some results of [BrCh,BaCr,P].
We develop the theory of generically stable types, independence relation based on nonforking and stable weight in the context of dependent (NIP) theories.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
