Pages that link to "Item:Q5687313"
From MaRDI portal
The following pages link to Some elementary results in intuitionistic model theory (Q5687313):
Displaying 15 items.
- Elementary epimorphisms between models of set theory (Q506971) (← links)
- Some observations on intuitionistically elementary properties of linear orderings (Q582291) (← links)
- Some new intuitionistic equivalents of Zorn's Lemma (Q1423638) (← links)
- Reverse mathematics of topology: dimension, paracompactness, and splittings (Q1981984) (← links)
- An inner model theoretic proof of Becker's theorem (Q2274143) (← links)
- On the foundations of constructive mathematics -- especially in relation to the theory of continuous functions (Q2505640) (← links)
- Constructive algebraic integration theory (Q2575777) (← links)
- Equality and equivalence, intuitionistically (Q2658274) (← links)
- (Q2753685) (← links)
- (Q4035302) (← links)
- Minimal readability of intuitionistic arithmetic and elementary analysis (Q4876321) (← links)
- Trakhtenbrot’s Theorem in Coq (Q5048993) (← links)
- (Q5094147) (← links)
- Model-theoretic Elekes–Szabó in the strongly minimal case (Q5156469) (← links)
- Encoding true second‐order arithmetic in the real‐algebraic structure of models of intuitionistic elementary analysis (Q6047713) (← links)