Logic in Tehran 2017
DOI: 10.1017/9781316755747.005
|View full text |Cite
|
Sign up to set email alerts
|

Categoricity and quantifier elimination for intuitionistic theories

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
8
0

Publication Types

Select...
3

Relationship

0
3

Authors

Journals

citations
Cited by 3 publications
(8 citation statements)
references
References 4 publications
0
8
0
Order By: Relevance
“…Such a sequence is called an elementary chain if A i ≤ A j whenever i ≤ j. The following result is proved in [1]. …”
Section: Let a 0 ⊆ A 1 ⊆ · · · Be A Chain Of Models Then There Is A mentioning
confidence: 99%
See 4 more Smart Citations
“…Such a sequence is called an elementary chain if A i ≤ A j whenever i ≤ j. The following result is proved in [1]. …”
Section: Let a 0 ⊆ A 1 ⊆ · · · Be A Chain Of Models Then There Is A mentioning
confidence: 99%
“…To start with, we review some notions from intuitionistic logic (we do not consider the general case) and also some results from [1]. As usual, ∧, ∨, ⇒, ≡, ∃ and ∀ are used as primitive logical symbols for intuitionistic logic (we keep → for another usage).…”
Section: Preliminariesmentioning
confidence: 99%
See 3 more Smart Citations