On nonstandard models in higher order logic

DOI10.2307/2274103zbMath0587.03047OpenAlexW2053254412MaRDI QIDQ3714081

Christian Hort, Horst Osswald

Publication date: 1984

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274103

zbMATH Keywords

categoricitysimple type theoryelementary embeddingsfull modelmeasurable cardinalitymodels of second order logicmodels of type logic over von Neumann sets

Mathematics Subject Classification ID

Nonstandard models (03H99)

Related Items (1)

From Probability Measures to Each Lévy Triplet and Back

Cites Work

• Unnamed Item
• Unnamed Item
• A proof of cut-elimination theorem in simple type-theory
• On the role of supercompact and extendible cardinals in logic
• Logic with the quantifier “there exist uncountably many”
• Non-standard analysis

This page was built for publication: On nonstandard models in higher order logic