Downward Löwenheim-Skolem theorem and interpolation in logics with constructors (Q3133181)
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: Downward Löwenheim-Skolem theorem and interpolation in logics with constructors |
scientific article; zbMATH DE number 6837752
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Downward Löwenheim-Skolem theorem and interpolation in logics with constructors |
scientific article; zbMATH DE number 6837752 |
Statements
Combinatorics of $\lambda$-terms: a natural approach (English)
0 references
13 February 2018
0 references
0.7975772619247437
0 references
0.754145622253418
0 references
0.7353734374046326
0 references
0.7293084263801575
0 references
0.7250449657440186
0 references
