Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
scientific article; zbMATH DE number 3632418 - MaRDI portal

scientific article; zbMATH DE number 3632418

From MaRDI portal

Publication:4193429

Jump to:navigation, search

zbMath0407.03001MaRDI QIDQ4193429

Jerome I. Malitz

Publication date: 1979

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

zbMATH Keywords

Computability Turing Machines Transfinite Induction Recursively Enumerable Sets Model Theory Recursive Functions Axiom Of Choice Paradoxes Computable Functions Ordinal Numbers Cardinal Numbers Definability in Arithmetic Goedel's First Incompletness Theorem Non-Standard Models Semantics of First-Order Languages

Mathematics Subject Classification ID

Model theory (03C99) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Computability and recursion theory (03D99) Turing machines and related notions (03D10) Set theory (03E99) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Related Items (3)

Towards categorical models for fairness: Fully abstract presheaf semantics of SCCS with finite delay ⋮ Abstract minimality and circumscription ⋮ On meaningfulness and truth

This page was built for publication:

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