Tagged Questions
2
votes
2answers
119 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 ...
1
vote
1answer
58 views
How to formally describe this Uppaal automata?
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 ...
2
votes
1answer
112 views
does the definition of model depend on a theory or just a signature?
Σ:signature
T:Σ-theory
For M:Σ-model which satisfies T, is it proper to name it “Σ,T-model” or “Σ-model satisfying T”? In comparison, in the context of Lawvere theories, any Lawvere theory L ...
