Explicit algebraic models for constructive and classical theories with non-standard elements

DOI10.1007/BF01053031zbMATH Open0923.03079MaRDI QIDQ1896754FDOQ1896754

Authors: Albert G. Dragalin 

Publication date: 28 October 1999

Published in: Studia Logica (Search for Journal in Brave)

Recommendations

• scientific article; zbMATH DE number 2099534
• scientific article; zbMATH DE number 1302871
• Publication:4724634
• Construction of nonstandard models
• scientific article; zbMATH DE number 2172973

zbMATH Keywords

constructive logicclassical logicalgebraic modelsfinitistic notion of truetheories with nonstandard elementstruth-value algebra

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Nonstandard models (03H99)

Cites Work

• Non-standard analysis
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Completeness and cut-elimination theorems for high-order classical logic. Constructive method
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (3)

• Title not available (Why is that?)
• Saturated models of universal theories
• Theories with few non-algebraic types over models, and their decompositions

This page was built for publication: Explicit algebraic models for constructive and classical theories with non-standard elements

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