scientific article; zbMATH DE number 3997794

MaRDI QIDQ4724634zbMATH OpenFDO

Authors Vassily Lyubetsky

Publication date 1985

zbMATH Keywords

first-order propertiesHeyting-valued modelsHorn formulasmodulesnonstandard analysisringstransfer theorems

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) Nonstandard models (03H99)

Recommendations

• scientific article; zbMATH DE number 1497628
• Problems of set-theoretic non-standard analysis
• scientific article; zbMATH DE number 3999924
• scientific article; zbMATH DE number 3278265
• Supplements to “A Predicative Approach to Nonstandard Mathematics”

Cited in

(5)

• Intuitionistic theory of algebraic systems and the Heyting-valued analysis
• Explicit algebraic models for constructive and classical theories with non-standard elements
• On certain questions of nonstandard arithmetic
• scientific article; zbMATH DE number 3869324 (Why is no real title available?)
• scientific article; zbMATH DE number 3877178 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4724634)