{"@context":["https://w3id.org/fdo/context/v1",{"schema":"https://schema.org/","prov":"http://www.w3.org/ns/prov#","fdo":"https://w3id.org/fdo/vocabulary/"}],"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q2344720","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q2344720","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q2344720","kernelVersion":"v1","immutable":true,"modified":"2025-11-17T14:48:45Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q2344720","name":"A new model construction by making a detour via intuitionistic theories. II: Interpretability lower bound of Feferman's explicit mathematics \\(T_0\\)","headline":"A new model construction by making a detour via intuitionistic theories. II: Interpretability lower bound of Feferman's explicit mathematics \\(T_0\\)","description":"scientific article; zbMATH DE number 6436112","url":"https://portal.mardi4nfdi.de/entity/Q2344720","datePublished":"2015-05-15","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q481872"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q122505"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.1016/J.APAL.2015.04.002","url":"https://doi.org/10.1016/J.APAL.2015.04.002"},"sameAs":["https://doi.org/10.1016/J.APAL.2015.04.002"],"citation":[{"@id":"https://portal.mardi4nfdi.de/entity/Q3937387"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3992552"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2710607"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4075450"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3679172"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4128540"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3882452"},{"@id":"https://portal.mardi4nfdi.de/entity/Q731889"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3305557"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1314542"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1356976"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1344548"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4749835"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3778746"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5316376"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5939842"},{"@id":"https://portal.mardi4nfdi.de/entity/Q639666"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2747729"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4793035"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2566068"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5957853"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2795201"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2753685"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4354788"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4283245"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1356980"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4879904"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4212918"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4262568"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4934564"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2765565"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4793037"},{"@id":"https://portal.mardi4nfdi.de/entity/Q386630"},{"@id":"https://portal.mardi4nfdi.de/entity/Q476116"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3395521"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4934569"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4532614"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1115865"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4126323"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4215635"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1861330"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5311753"}]},"provenance":{"prov:generatedAtTime":"2025-11-17T14:48:45Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}