Tarski on ``essentially richer'' metalanguages
type: Item
instance of: scholarly article
title: Tarski on ``essentially richer'' metalanguages
zbMATH Open document ID: 0940.03003
DOI: 10.1023/A:1004294325183
author: David DeVidi
author: Graham Solomon
published in: Journal of Philosophical Logic
publication date: 1999-05-26T00:00:00Z
Mathematics Subject Classification ID: 03A05
zbMATH DE Number: 1275387
zbMATH Keywords: truth in a language
zbMATH Keywords: T-scheme
zbMATH Keywords: material adequacy
zbMATH Keywords: hierarchies
zbMATH Keywords: consistency
zbMATH Keywords: metalanguage
zbMATH Keywords: truth definition for the object language
MaRDI profile type: Publication
cites work: Fregean Extensions of First‐Order Theories
cites work: Q4132480
cites work: Q3245357
cites work: Tolerance and metalanguages in Carnap's \textit{Logical syntax of language}.
cites work: Arithmetization of metamathematics in a general setting
cites work: Truth without satisfaction
cites work: Truth and paradox
cites work: Q5286672
cites work: Q4342091
cites work: Q4367604
cites work: Q4000317
cites work: Maximal consistent sets of instances of Tarski's schema (T)
cites work: Natural models of set theories
cites work: Some impredicative definitions in the axiomatic set theory
cites work: A construction for consistent systems
cites work: Sets and Classes
cites work: The liar paradox
cites work: A survey of formal semantics
cites work: Q5656739
cites work: A guide to truth predicates in the modern era
cites work: On undecidable statements in enlarged systems of logic and the concept of truth
cites work: Q5839923
cites work: Q4342078
cites work: Arithmetic Translations of Axiom Systems
cites work: Truth Definitions and Consistency Proofs
description: scientific article; zbMATH DE number 1275387