scientific article

From MaRDI portal

Publication:3659788

Jump to:navigation, search

zbMath0514.03045MaRDI QIDQ3659788

Saul A. Kripke

Publication date: 1982

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

nonstandard models of arithmetic Ramsey theorems bounded ultrapowers

Mathematics Subject Classification ID

Nonstandard models of arithmetic (03H15)

Related Items (1)

A remark on pseudo proof systems and hard instances of the satisfiability problem

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3659788&oldid=17123023"