scientific article

Publication date: 1957

Full work available at URL: http://www.numdam.org/item?id=CM_1956-1958__13__81_0

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

philosophy and foundations of mathematics

Related Items (56)

Minimal- und Primmodelle ⋮ From IF to BI. A tale of dependence and separation ⋮ Cofinality of algebras ⋮ The use of elementary substructures in combinatorics ⋮ Stratified institutions and elementary homomorphisms ⋮ A Note on the Two Cardinal Problem ⋮ On Automorphisms of Polyadic Algebras ⋮ A context-free language for binary multinomial processing tree models ⋮ Categoricity in Power ⋮ Tarski's definition and truth-makers ⋮ What languages have Tarski truth definitions? ⋮ Elementary Classes Closed Under Descending Intersection ⋮ ``Inference versus consequence revisited: inference, consequence, conditional, implication ⋮ Structures elementarily equivalent relative to infinitary languages to models of higher power ⋮ Is Logic Relevant to Classifications? ⋮ On elementary equivalence in fuzzy predicate logics ⋮ An Almost Everywhere Direct Power ⋮ The periodic power of \(\mathcal A\) and complete Horn theories ⋮ In defense of logical universalism: taking issue with Jean van Heijenoort ⋮ Computable Algebraic Structures and Nonstandard Arithmetic ⋮ CLASSICAL DETERMINATE TRUTH I ⋮ Semantics of \textsc{OpenMath} and \textsc{MathML3} ⋮ Reduced Products and Horn Classes ⋮ Properties preserved under algebraic constructions ⋮ 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 ⋮ Rings of Integer-Valued Continuous Functions ⋮ Representing model theory in a type-theoretical logical framework ⋮ On the weak definability in set theory ⋮ Representing Model Theory in a Type-Theoretical Logical Framework ⋮ Automorphism groups of ultrafilters ⋮ Models of complete theories ⋮ \(\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 ⋮ Elementary extensions of models of set theory ⋮ A 2-categorial generalization of the concept of institution ⋮ Back-and-forth systems for fuzzy first-order models ⋮ On the number of homogeneous models of a given power ⋮ Independent axiomatizability of sets of sentences ⋮ Some model theoretic results for \(\omega\)-logic ⋮ Limit Ultrapowers ⋮ On semigroups admitting ring structure ⋮ Subdirect irreducibility and equational compactness in unary algebras \(\langle A; f\rangle\) ⋮ On \({\mathfrak S,A,m}\)-atomic compact relational systems ⋮ Key notions of Tarski's methodology of deductive systems ⋮ Book Review: The birth of model theory: Löwenheim’s theory in the frame of the theory of relatives ⋮ On products of structures for generalized logics ⋮ Formal notes on the substitutional analysis of logical consequence ⋮ Nicht-Standardmodelle der Zahlentheorie ⋮ On Unions of Chains of Models ⋮ A portrait of Alfred Tarski

Cites Work

This page was built for publication: