The following pages link to (Q3265664):
Displayed 50 items.
- ``Inference versus consequence'' revisited: inference, consequence, conditional, implication (Q383072) (← links)
- Tarski's definition and truth-makers (Q598268) (← links)
- What languages have Tarski truth definitions? (Q598271) (← links)
- Representing model theory in a type-theoretical logical framework (Q654913) (← links)
- Formal notes on the substitutional analysis of logical consequence (Q778737) (← links)
- A portrait of Alfred Tarski (Q809989) (← links)
- From IF to BI. A tale of dependence and separation (Q833040) (← links)
- A 2-categorial generalization of the concept of institution (Q993499) (← links)
- Cofinality of algebras (Q1088699) (← links)
- The periodic power of \(\mathcal A\) and complete Horn theories (Q1147121) (← links)
- Automorphism groups of ultrafilters (Q1212955) (← links)
- \(\Sigma\)-free models (Q1215650) (← links)
- Infinite coforcing in model theory (Q1220510) (← links)
- Normal modal model theory (Q1221738) (← links)
- Sur les homomorphismes d'hypergroupes (Q1226511) (← links)
- Ultraproducts and elementary types of some groups related to infinite symmetric groups (Q1228667) (← links)
- Completeness theorems for continuous functions and product topologies (Q1232838) (← links)
- Independent axiomatizability of sets of sentences (Q1262853) (← links)
- The use of elementary substructures in combinatorics (Q1344620) (← links)
- Back-and-forth systems for fuzzy first-order models (Q1795203) (← links)
- Key notions of Tarski's methodology of deductive systems (Q1820770) (← links)
- On elementary equivalence in fuzzy predicate logics (Q1935367) (← links)
- In defense of logical universalism: taking issue with Jean van Heijenoort (Q1942101) (← links)
- Semantics of \textsc{OpenMath} and \textsc{MathML3} (Q1948675) (← links)
- Stratified institutions and elementary homomorphisms (Q2379932) (← links)
- On the number of homogeneous models of a given power (Q2526346) (← links)
- Some model theoretic results for \(\omega\)-logic (Q2530302) (← links)
- Subdirect irreducibility and equational compactness in unary algebras \(\langle A; f\rangle\) (Q2543002) (← links)
- On \({\mathfrak S,A,m}\)-atomic compact relational systems (Q2544193) (← links)
- On products of structures for generalized logics (Q2561584) (← links)
- Nicht-Standardmodelle der Zahlentheorie (Q2562781) (← links)
- A context-free language for binary multinomial processing tree models (Q2654150) (← links)
- Properties preserved under algebraic constructions (Q3257768) (← links)
- On Unions of Chains of Models (Q3274968) (← links)
- On the weak definability in set theory (Q3289000) (← links)
- Models of complete theories (Q3848967) (← links)
- Tarski’s Influence on Computer Science (Q4611682) (← links)
- The Absence of Multiple Universes of Discourse in the 1936 Tarski Consequence-Definition Paper (Q4611683) (← links)
- Andrzej Mostowski and the Notion of a Model (Q4611699) (← links)
- Representing Model Theory in a Type-Theoretical Logical Framework (Q5170290) (← links)
- Book Review: The birth of model theory: Löwenheim’s theory in the frame of the theory of relatives (Q5494753) (← links)
- A Note on the Two Cardinal Problem (Q5509679) (← links)
- On Automorphisms of Polyadic Algebras (Q5519115) (← links)
- Elementary Classes Closed Under Descending Intersection (Q5528635) (← links)
- Categoricity in Power (Q5529481) (← links)
- Minimal- und Primmodelle (Q5553265) (← links)
- Computable Algebraic Structures and Nonstandard Arithmetic (Q5566510) (← links)
- An Almost Everywhere Direct Power (Q5575542) (← links)
- Rings of Integer-Valued Continuous Functions (Q5592576) (← links)
- Reduced Products and Horn Classes (Q5596751) (← links)