The concept of truth in a finite universe

DOI10.1023/A:1026542526897zbMath0971.03009MaRDI QIDQ5928928

Raatikainen, Panu

Publication date: 17 April 2001

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

finite modelstruth-definitions

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30) Model theory of finite structures (03C13)

Related Items

Tarski on the necessity reading of convention T

Cites Work

• The decision problem for exponential diophantine equations
• Undefinability of truth. the problem of priority:tarski vs gödel
• Theory of Formal Systems. (AM-47)
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
• Einige Betrachtungen über die Begriffe der ω-Widerspruchsfreiheit und der ω-Vollständigkeit
• Some Remarks on Finite Löwenheim‐Skolem Theorems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The concept of truth in a finite universe