Universität München, Seminar für Logik und Wissenschaftstheorie, Ludwigstraße 31, 80539, Munich, Germany;
Compactness theorem; Completeness theorem; Relative/direct/approximative consistency proof; Consistency statement; Creation by definition; Finitist point of view; Game formalism; Metamathematics; Model; $$ Uppi_{1}^{0} $$n -sentence; Soundness; Transfinite induction;
机译:连接软件构建,维持模型之间的一致性:迈向Megamodels的声音,最佳和灵活的建筑物
机译:大气红外测深仪和红外大气测深干涉仪辐射度的一致性评估:双差与同时最低天桥
机译:校正:“电离层电子含量模型的倾斜和垂直评估的方法论和一致性”,并在一个太阳循环期间的七种不同GNSS全局电离层映射技术的“一致性”
机译:对松弛内存模型的顺序一致性进行完整的声音监视
机译:再婚中的认知一致性:多维认知发展模型一致性原则的检验。
机译:跳动的能力与神经对声音的反应的一致性有关
机译:连接软件构建,维持模型之间的一致性:迈向Megamodels的声音,最佳和灵活的建筑物
机译:非线性声学中的问题:脉冲有限幅度声束,分层介质中声音的非线性传播,聚焦声束的时域解,椭圆镜的声音聚焦以及有限幅度传播的建模