Connectedness of the theory of non-surjective injections (Q4868620)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Connectedness of the theory of non-surjective injections |
scientific article; zbMATH DE number 852913
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Connectedness of the theory of non-surjective injections |
scientific article; zbMATH DE number 852913 |
Statements
Connectedness of the theory of non-surjective injections (English)
0 references
1 July 1996
0 references
relative interpretability of theories
0 references
first-order theory
0 references
non-surjective injection
0 references
connectedness
0 references
0.6671922206878662
0 references
0.6587022542953491
0 references
0.6527376174926758
0 references
0.6522940993309021
0 references