Pages that link to "Item:Q4049058"
From MaRDI portal
The following pages link to Two notes on abstract model theory. I. Properties invariant on the range of definable relations between structures (Q4049058):
Displayed 22 items.
- Algorithmic uses of the Feferman-Vaught theorem (Q598280) (← links)
- Quantified modal logic: non-normal worlds and propositional attitudes (Q787129) (← links)
- On the eliminative explanation of social theories (Q795821) (← links)
- A logical study of the correspondence relation (Q797569) (← links)
- Correspondence as an intertheory relation (Q798642) (← links)
- On conceptual completeness of syntactic-semantical systems (Q798654) (← links)
- Definability properties and the congruence closure (Q810007) (← links)
- Is there any theoretical justification for a nonstatement view of theories? (Q1055753) (← links)
- Remarks in abstract model theory (Q1080418) (← links)
- A group-theoretical invariant for elementary equivalence and its role in representations of elementary classes (Q1162504) (← links)
- The old and the new logic of metascience (Q1252849) (← links)
- Completeness for systems including real numbers (Q1824613) (← links)
- On the logical structure of some value systems of classical economics: Marx and Sraffa (Q1838420) (← links)
- A Lindström theorem for intuitionistic propositional logic (Q2176405) (← links)
- Lindström theorems in graded model theory (Q2220488) (← links)
- Logics of Finite Hankel Rank (Q2947177) (← links)
- A unifying approach to theorems on preservation and interpolation for binary relations between structures (Q3939786) (← links)
- Interpolation, compactness and JEP in soft model theory (Q3958441) (← links)
- Duality Between Logics and Equivalence Relations (Q3960670) (← links)
- From Choosing Elements to Choosing Concepts: The Evolution of Feferman’s Work in Model Theory (Q5214779) (← links)
- A Lindström theorem for intuitionistic first-order logic (Q6076364) (← links)
- MAXIMALITY OF LOGIC WITHOUT IDENTITY (Q6123583) (← links)
