Models of logical systems

DOI10.2307/2268136zbMath0035.00401OpenAlexW2128969865MaRDI QIDQ5792477

John G. Kemeney

Publication date: 1948

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

Full work available at URL: https://doi.org/10.2307/2268136

zbMATH Keywords

Philosophy and foundations of mathematics

Related Items

What languages have Tarski truth definitions? ⋮ Carnapian and Tarskian semantics ⋮ Translations and structure for partial propositional calculi ⋮ An essay in the formal theory of extension and of intension ⋮ Universal semantics? ⋮ Non-standard models for formal logics ⋮ Über ω-Unvollständigkeit in der Peano-Arithmetik ⋮ A logical measure function ⋮ On disjunctions and existential statements in intuitionistic systems of logic

Cites Work

• Unnamed Item
• \(\lambda\)-definability and recursiveness
• Über Extremalaxiome
• Recursively enumerable sets of positive integers and their decision problems