Skolem fragments

DOI10.1305/NDJFL/1093870629zbMATH Open0595.03005OpenAlexW4251863788MaRDI QIDQ1077397FDOQ1077397

Authors: Daniel Bonevac 

Publication date: 1984

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093870629

Recommendations

• On Skolem functions in proof theory
• Skolem Theory and Generalized Quantifiers
• Truth Definitions, Skolem Functions and Axiomatic Set Theory
• Skolemization in intermediate logics with the finite model property
• A note on definable Skolem functions

zbMATH Keywords

ontologyontological commitment

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Classical first-order logic (03B10) Basic properties of first-order languages and structures (03C07)

Cited In (1)

• Skolem Machines

This page was built for publication: Skolem fragments

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1077397)