On transferring model theoretic theorems of \(\mathcal L_{\infty,\omega}\) in the category of sets to a fixed Grothendieck topos (Q2254569)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6398418
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | On transferring model theoretic theorems of \(\mathcal L_{\infty,\omega}\) in the category of sets to a fixed Grothendieck topos |
scientific article; zbMATH DE number 6398418 |
Statements
On transferring model theoretic theorems of \(\mathcal L_{\infty,\omega}\) in the category of sets to a fixed Grothendieck topos (English)
0 references
5 February 2015
0 references
infinitary logic
0 references
Grothendieck topos
0 references
Löwenheim-Skolem
0 references
completeness
0 references
Barwise compactness
0 references
0 references
0.8093709349632263
0 references
0.7882251739501953
0 references
0.7593209147453308
0 references
0.7489215731620789
0 references
0.7475126385688782
0 references
