scientific article

zbMATH Open0564.03045MaRDI QIDQ3677761FDOQ3677761

S. Shelah

Publication date: 1984

Title of this publication is not available (Why is that?)

zbMATH Keywords

Peano arithmeticcombinatorial principleconsistency strengthend-homogeneity

Mathematics Subject Classification ID

Models with special properties (saturated, rigid, etc.) (03C50) First-order arithmetic and fragments (03F30)

Cited In (6)

• Provability logic: models within models in Peano arithmetic
• Logical dreams
• On effectively computable realizations of choice functions
• On Protocol Sentences
• A MATHEMATICAL COMMITMENT WITHOUT COMPUTATIONAL STRENGTH
• Practical Moore Sentences*

This page was built for publication:

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