A finite analog to the Löwenheim-Skolem theorem

DOI10.1007/BF01057648zbMath0819.03021MaRDI QIDQ1338480

David Isles

Publication date: 27 August 1995

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

deductive systemBuridan-Volpin modelGentzen's LK without the contraction ruleslocation sensitive interpretation

Mathematics Subject Classification ID

Classical first-order logic (03B10) Algebraic logic (03G99) Model theory of finite structures (03C13)

Related Items (1)

First-order reasoning and primitive recursive natural number notations

Cites Work

• What evidence is there that \(2^{\land}65536\) is a natural number?
• A theory of truth based on a medieval solution to the liar paradox
• Proof theory
• Unnamed Item
• Unnamed Item

This page was built for publication: A finite analog to the Löwenheim-Skolem theorem