# Tagged Questions

76 views

### What is the definition of “Winning Strategy” in an Ehrenfeucht-Fraïssé game?

I've read many descriptions and applications of a Winning Strategy, as much as many for a Strategy tout court, but when a formal, algebraic definition is called upon, I've found close to no input. I ...
124 views

### Should axioms be viewed as part of the signature?

I included category theory in the tags in order to get feedback from the categorial logic community. It goes without saying that this isn't really category theory. A semigroup can be defined as a ...
92 views

### Why doesn't the definition of (model-theoretic) conservative extension need strengthening?

In the wikipedia page dedicated to conservative extensions, we find the following sentence: $T_2$ is a model-theoretic conservative extension of $T_1$ if every model of $T_1$ can be expanded to ...
54 views

### Constraint satisfaction problem - Arc consistency

The Constraint satisfaction problem (CSP) is roughly speaking a formalism that defines a finite set of relations over a domain. The relations are simply defined by enlisting elements in certain ...
140 views

### Am I allowed to realize one object twice within one set-theory?

Say I consider a set theory with the Axioms of Extensionality and the Axiom of Pairing. As I understand it, stating the axiom allows me to make a definition like $$(a,b):=\{\{a\},\{a,b\}\}$$ and ...
I have the following simple automata: What I'm looking for is a formal description of this based on the definition here $A=(\Sigma,\Gamma,S,s_0,\delta,\omega, F)$ How to declare all the ...