A generalization of Beth model to functionals of high types

DOI10.1142/9789814449274_0011zbMATH Open1364.03085OpenAlexW2327634528MaRDI QIDQ5737992FDOQ5737992

Authors: Farida Kachapova 

Publication date: 31 May 2017

Published in: Proceedings of the 12th Asian Logic Conference (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/9789814449274_0011

Recommendations

• A strong multi-typed intuitionistic theory of functionals
• scientific article; zbMATH DE number 3313428
• ON THE THEORY OF MODELS FOR INTUITIONISTIC LOGIC
• A new model for intuitionistic analysis
• Some purely topological models for intuitionistic analysis

zbMATH Keywords

functionalforcingKripke's schemachoice sequenceBeth modelintuitionistic principlelawless functional

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Intuitionistic mathematics (03F55)

Cited In (5)

• Title not available (Why is that?)
• Title not available (Why is that?)
• How to glue analysis models
• Title not available (Why is that?)
• A strong multi-typed intuitionistic theory of functionals

This page was built for publication: A generalization of Beth model to functionals of high types

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