The following pages link to (Q5563359):
Displayed 9 items.
- A Suppes predicate for general relativity and set-theoretically generic spacetimes (Q918975) (← links)
- Relativity phenomena in set theory (Q1223289) (← links)
- Automatic theorem proving in set theory (Q1245007) (← links)
- Observation du mathématicien: Aide à l'enseignement et à la demonstration automatique de théoremes (Q1253644) (← links)
- A derived algorithm for evaluating \(\varepsilon\)-expressions over abstract sets (Q1322849) (← links)
- Mathematical, philosophical and semantic considerations on infinity. I: General concepts (Q2013407) (← links)
- The Popescu-Gabriel theorem for triangulated categories (Q2637925) (← links)
- (Q4153378) (← links)
- (Q4695119) (← links)