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
A Predicative Approach to Nonstandard Mathematics - MaRDI portal

A Predicative Approach to Nonstandard Mathematics

From MaRDI portal

Publication:3737424

Jump to:navigation, search

DOI10.1002/MALQ.19870330111zbMath0602.03016OpenAlexW2074755650MaRDI QIDQ3737424

Publication date: 1987

Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19870330111

zbMATH Keywords

enlargements infinite structures calculus language linguistic frame predicative foundation

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03F99) Nonstandard models (03H99)

This page was built for publication: A Predicative Approach to Nonstandard Mathematics

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