scientific article; zbMATH DE number 3148408
From MaRDI portal
Publication:3265664
Cites work
- Consistency of the Continuum Hypothesis. (AM-3)
- scientific article; zbMATH DE number 3115890 (Why is no real title available?)
- scientific article; zbMATH DE number 3013302 (Why is no real title available?)
- scientific article; zbMATH DE number 3050845 (Why is no real title available?)
- scientific article; zbMATH DE number 3076636 (Why is no real title available?)
- scientific article; zbMATH DE number 3090153 (Why is no real title available?)
- scientific article; zbMATH DE number 3093421 (Why is no real title available?)
- On direct products of theories
- On the metamathematics of algebra
- Products of abstract algebras
- Some Interconnections Between Modern Algebra and Mathematical Logic
- Undecidable theories
Cited in
(61)- Cofinality of algebras
- The periodic power of \(\mathcal A\) and complete Horn theories
- Automorphism groups of ultrafilters
- \(\Sigma\)-free models
- Infinite coforcing in model theory
- Normal modal model theory
- Sur les homomorphismes d'hypergroupes
- Ultraproducts and elementary types of some groups related to infinite symmetric groups
- Completeness theorems for continuous functions and product topologies
- Independent axiomatizability of sets of sentences
- The use of elementary substructures in combinatorics
- Back-and-forth systems for fuzzy first-order models
- Key notions of Tarski's methodology of deductive systems
- On elementary equivalence in fuzzy predicate logics
- In defense of logical universalism: taking issue with Jean van Heijenoort
- Semantics of \textsc{OpenMath} and \textsc{MathML3}
- Stratified institutions and elementary homomorphisms
- On the number of homogeneous models of a given power
- Some model theoretic results for -logic
- Subdirect irreducibility and equational compactness in unary algebras A; f
- On \({\mathfrak S,A,m}\)-atomic compact relational systems
- On products of structures for generalized logics
- Nicht-Standardmodelle der Zahlentheorie
- A context-free language for binary multinomial processing tree models
- Properties preserved under algebraic constructions
- On Unions of Chains of Models
- On the weak definability in set theory
- ``Inference versus consequence revisited: inference, consequence, conditional, implication
- Models of complete theories
- Tarski's influence on computer science
- The absence of multiple universes of discourse in the 1936 Tarski consequence-definition paper
- Andrzej Mostowski and the notion of a model
- Representing model theory in a type-theoretical logical framework
- Book Review: The birth of model theory: Löwenheim’s theory in the frame of the theory of relatives
- A Note on the Two Cardinal Problem
- On Automorphisms of Polyadic Algebras
- Elementary Classes Closed Under Descending Intersection
- Categoricity in Power
- Minimal- und Primmodelle
- Computable Algebraic Structures and Nonstandard Arithmetic
- An Almost Everywhere Direct Power
- Rings of Integer-Valued Continuous Functions
- Reduced Products and Horn Classes
- Structures elementarily equivalent relative to infinitary languages to models of higher power
- Limit Ultrapowers
- Elementary extensions of models of set theory
- On semigroups admitting ring structure
- Tarski's definition and truth-makers
- What languages have Tarski truth definitions?
- Is Logic Relevant to Classifications?
- CLASSICAL DETERMINATE TRUTH I
- The substitutional analysis of logical consequence
- Representing model theory in a type-theoretical logical framework
- On the Year of Publication of Tarski's ‘Der Wahrheitsbegriff in den formalisierten Sprachen’
- The completeness theorem? So what!
- On the universal theory of the free pseudocomplemented distributive lattice
- Representation, verification, and visualization of Tarskian interpretations for typed first-order logic
- Formal notes on the substitutional analysis of logical consequence
- A portrait of Alfred Tarski
- From IF to BI. A tale of dependence and separation
- A 2-categorial generalization of the concept of institution
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3265664)
