Quantifier elimination for a class of intuitionistic theories

DOI10.1215/00294527-2008-012zbMath1159.03021OpenAlexW2141172560MaRDI QIDQ948760

Dan McGinn, Wim Ruitenburg, Ben Ellison, Jonathan Fleischmann

Publication date: 20 October 2008

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1215/00294527-2008-012

zbMATH Keywords

quantifier eliminationintuitionistic theoryKripke modelcountably categoricalFraïssé-homogeneousintuitionistic universal fragment

Mathematics Subject Classification ID

Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Intuitionistic mathematics (03F55) Quantifier elimination, model completeness, and related topics (03C10) Categoricity and completeness of theories (03C35)

Related Items (2)

On elimination of quantifiers in some non‐classical mathematical theories ⋮ 2009 North American Annual Meeting of the Association for Symbolic Logic

This page was built for publication: Quantifier elimination for a class of intuitionistic theories