The following pages link to Vladimir Yu. Sazonov (Q1311972):
Displayed 48 items.
- (Q174096) (redirect page) (← links)
- Expressibility of functionals in D. Scott's LCF language (Q599804) (← links)
- (Q749647) (redirect page) (← links)
- A note on inconsistencies caused by fixpoints in a cartesian closed category (Q749648) (← links)
- Coherence in Cartesian closed categories and the generality of proofs (Q750442) (← links)
- The extensional ordering of the sequential functionals (Q764278) (← links)
- A typed calculus based on a fragment of linear logic (Q908909) (← links)
- Arithmetic with a local reflection principle for Rosser provability formulas (Q908911) (← links)
- (Q1023299) (redirect page) (← links)
- Natural non-dcpo domains and f-spaces (Q1023300) (← links)
- Monotone inductive definitions in a constructive theory of functions and classes (Q1115865) (← links)
- A type-free system extending (ZFC) (Q1121865) (← links)
- The theory of descriptions revisited (Q1121871) (← links)
- Primes and their residue rings in models of open induction (Q1121883) (← links)
- Functionals computable in series and in parallel (Q1239155) (← links)
- Hereditarily-finite sets, data bases and polynomial-time computability (Q1311973) (← links)
- \(\Delta\)-languages for sets and LOGSPACE computable graph transformers (Q1392148) (← links)
- On equivalence between polynomial constructivity of Markov's principle and \(P=NP\) (Q1920039) (← links)
- Linear ordering on graphs, anti-founded sets and polynomial time computability (Q1960423) (← links)
- \(\Delta\): set-theoretic query language capturing LOGSPACE (Q2349823) (← links)
- Querying Hyperset/Web-Like Databases (Q3424122) (← links)
- (Q3487614) (← links)
- (Q3743313) (← links)
- (Q3783282) (← links)
- (Q3792681) (← links)
- The collection principle and the existential quantifier (Q3824407) (← links)
- (Q3829550) (← links)
- (Q3900044) (← links)
- (Q3902993) (← links)
- (Q3927239) (← links)
- (Q4096924) (← links)
- (Q4108313) (← links)
- (Q4109649) (← links)
- (Q4207895) (← links)
- (Q4282616) (← links)
- (Q4376058) (← links)
- (Q4395612) (← links)
- (Q4474864) (← links)
- (Q4475097) (← links)
- (Q4504009) (← links)
- On naturally continuous non-dcpo domains (Q4593242) (← links)
- (Q4694254) (← links)
- Boris Abramovich Trakhtenbrot (Q5074416) (← links)
- Inductive Definition and Domain Theoretic Properties of Fully Abstract (Q5426073) (← links)
- On Natural Non-dcpo Domains (Q5452201) (← links)
- (Q5749285) (← links)
- Web-like databases, non-well-founded sets and inductive definability (Q5930829) (← links)
- On feasible numbers (Q6064275) (← links)