# Tagged Questions

**0**

votes

**0**answers

94 views

### How to prove a Lefschetzesque principle for relative homology and absolute homology

Here is my conjecture:
If H is some homology theory from some abelian category A to some abelian category B, E is the class of all epimorphism in A, E' is some closed class of epimorphisms in A and ...

**14**

votes

**1**answer

740 views

### Interactions between (set theory, model theory) and (algebraic geometry, algebraic number theory ,…)

Set theory and model theory have many applications outside of logic, in particular in algebra, topology, analysis, ...
On the other hand model theory, in particular after Hrushovski, found many ...

**2**

votes

**0**answers

95 views

### Stability of analytic Zariski structures

Noetherian Zariski structures are introduced by Hrushovski and Zilber.(1996)
An analytic Zariski structure is a generalization of Noetherian Zariski structures, introduced by Zilber and Peatfield.
...

**4**

votes

**0**answers

159 views

### Krull dimension and Morley rank

Definition : A Topological space $\mathcal{D}$ is called noetherian if it satisfies the descending chain condition for closed subsets. We define the dimension of $\mathcal{D}$ to be the supremum of ...

**11**

votes

**0**answers

375 views

### Hrushovski's Construction

Zilber expressed a conjecture for $\aleph_{1}$- categorical theories.(In 80s)
Zilber's Conjecture: The geometry of any $\aleph_{1}$- categorical structure is one of the following:
a) Trivial (No ...

**17**

votes

**1**answer

726 views

### Main open computational problems in quantifier elimination?

A language is said to have quantifier elimination if every first-order-logic sentence in the language can be shown to be equivalent to a quantifier-free sentence, i.e., a sentence without any ...

**3**

votes

**0**answers

84 views

### Is a proconstructible subsemigroup of $M_n(\mathbb{C})$ an intersection of constructible subsemigroups?

Let $S$ be a proconstructible subsemigroup of $M_n(\mathbb{C})$, that is a subsemigroup which is an intersection of constructible sets. Is $S$ an intersection of constructible subsemigroups?
The ...

**2**

votes

**0**answers

98 views

### topology generated by irreducible componets of $\Gamma$-invariant closed sets

For an analytic space $U$ equipped with an action of a group $\Gamma$,
call a subset $Z\subseteq U$ $\Gamma$-closed iff
it is a closed analytic subset and each of its irreducible components
is an ...

**1**

vote

**1**answer

330 views

### Riemann hypothesis for zeta function of definable sets over finite fields

Hi,
Consider the zeta function of a definable set over a finite field. More precisely, let $\varphi$ be a formula in the language of fields and let $X$ be a definable subset of $F^n$ given by ...

**3**

votes

**0**answers

143 views

### axiomatizing the abelian part of the topological fundamental groupoid functor on algebraic varieties

let Vv be the category of complex algebraic varieties defined over $\bar Q\subset C$,
and let
$\pi_1^{top}:Vv\longrightarrow Groupoids$ sending a variety V into its (strict) fundamental
groupoid
...

**2**

votes

**1**answer

152 views

### Terminology for system of equations and…

I am looking for the standard term for a system that consists of things of the form
$p_i(x_1,\ldots ,x_n)=0$ and of the form $q_j(x_1,\ldots,x_n)\neq 0$ with the $p_i$ and $q_j$ polynomials. I have ...

**9**

votes

**6**answers

1k views

### Proofs in the same vein as Ax-Grothendieck

I would like to see other examples of (ideas of) proofs and results in the same vein as the proof of the Ax-Grothendieck theorem. To explain what I mean by "in the same vein", I will quote from the ...

**4**

votes

**4**answers

918 views

### Nonstandard Methods ( or Model Theory ) and Arithmetic Geometry

I hear that the nonstandard methods are applied to many problems in various fields of mathematics such as functional analysis, topology, probability theory and so on.
So, I have become interested in ...

**11**

votes

**3**answers

1k views

### Intuition for Model Theoretic Proof of the Nullstellensatz

I recently read the model-theoretic proof of the Nullstellensatz using quantifier elimination (see www.msri.org/publications/books/Book39/files/marker.pdf). I'm convinced that the Nullstellensatz is ...

**9**

votes

**2**answers

697 views

### Cohomology Theories on The Stone Space of Complete n-types

Just a random thought here: Can cohomology theories (e.g. sheaf cohomology) on the Stone space $S_n(T)$ (the space of complete n-types) of a first-order theory $T$ tell us anything interesting (e.g. ...

**4**

votes

**2**answers

271 views

### Determining the field from the topology of the affine space over it.

The inspiration is from another question in which it is remarked that the passage to Zariski topology is a very interesting functor from Commutative Rings to Topological spaces.
I am trying to ...

**4**

votes

**1**answer

297 views

### Prime-ness checking for polynomial ideals over ACFs( algebraically closed fields).

Let $f_1,\ldots f_m \in k[X]$ have degrees bounded by $l$. and $I(\bar{f})$ be the ideal generated by $\bar{f}$.
If $I(\bar{f})$ is not a prime ideal then its non-primeness is witnessed by polynomials ...