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 Maximality Theorem for Continuous First Order Theories - MaRDI portal

A Maximality Theorem for Continuous First Order Theories

From MaRDI portal

Publication:5057120

Jump to:navigation, search

DOI10.4467/20842589RM.22.005.16662MaRDI QIDQ5057120

Mary Leah Karker, Nathanael Leedom Ackerman

Publication date: 15 December 2022

Published in: Reports on Mathematical Logic (Search for Journal in Brave)

zbMATH Keywords

continuous logic first order theory Lindström's theorem

Mathematics Subject Classification ID

Classical first-order logic (03B10) Abstract model theory (03C95) Continuous model theory, model theory of metric structures (03C66)

Related Items (1)

The Keisler order in continuous logic

This page was built for publication: A Maximality Theorem for Continuous First Order Theories

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