Finitization procedures and finite model property

MaRDI QIDQ2770973zbMATH OpenFDO

Authors Jacques Riche

Publication date 27 March 2003

Published in Logique et Analyse. Nouvelle Série (Search for Journal in Brave)

zbMATH Keywords

collapsing lemmafinite model propertyfinitizationfirst-order arithmeticHilbert's programparaconsistent logicparaconsistent model theoryrelevant logicrelevant model theorystrict finitist mathematics

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Paraconsistent logics (03B53) Models of arithmetic and set theory (03C62)

Recommendations

• On the limit of the finite. The Hilbert programme in the context of formalism and finitism
• Partial realizations of Hilbert's program
• scientific article; zbMATH DE number 799317
• scientific article; zbMATH DE number 1254488
• Finite methods in mathematical practice

Cited in

(2)

• Extendability of Functions on Models of ZFFin
• FINITENESS RESULTS IN DESCENT THEORY

This page was built for publication: Finitization procedures and finite model property

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