First-order combinatorics and model-theoretical properties that can be distinct for mutually interpretable theories (Q2959176): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
| Property / cites work | |||
| Property / cites work: Q5625151 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4956005 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4081239 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5551141 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: The Boolean algebra of logic / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4336034 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5341751 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: A lattice of interpretability types of theories / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: A lattice of chapters of mathematics (interpretations between theorems [theories]) / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4362729 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3481683 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Semantically universal classes of models / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Analogues of Rice's theorem for semantic classes of propositions / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4895324 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4700614 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Properties Preserved under Definitional Equivalence and Interpretations / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5537599 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4152213 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5573961 / rank | |||
Normal rank | |||
Latest revision as of 09:36, 13 July 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | First-order combinatorics and model-theoretical properties that can be distinct for mutually interpretable theories |
scientific article |
Statements
First-order combinatorics and model-theoretical properties that can be distinct for mutually interpretable theories (English)
0 references
9 February 2017
0 references
first-order logic
0 references
Tarski-Lindenbaum algebra
0 references
model-theoretical property
0 references
interpretation
0 references
semantically similar theories
0 references
first-order combinatorics
0 references
