Nonstandard analysis and constructivism?
- Published in:
- Studia Logica, 1988, v. 47, n. 3, p. 303, doi. 10.1007/BF00370558
- By:
- Publication type:
- Article
Works matching IS 00393215 AND DT 1988 AND VI 47 AND IP 3
Results: 10
1
2
Is 'some-other-time' sometimes better than 'sometime' for proving partial correctness of programs?
- Published in:
- Studia Logica, 1988, v. 47, n. 3, p. 279, doi. 10.1007/BF00370557
- By:
- Publication type:
- Article
3
Some nonstandard methods in combinatorial number theory.
- Published in:
- Studia Logica, 1988, v. 47, n. 3, p. 265, doi. 10.1007/BF00370556
- By:
- Publication type:
- Article
4
A finite model theorem for the propositional μ-calculus.
- Published in:
- Studia Logica, 1988, v. 47, n. 3, p. 233, doi. 10.1007/BF00370554
- By:
- Publication type:
- Article
5
Nonstandard combinatorics.
- Published in:
- Studia Logica, 1988, v. 47, n. 3, p. 221, doi. 10.1007/BF00370553
- By:
- Publication type:
- Article
6
Sequences in countable nonstandard models of the natural numbers.
- Published in:
- Studia Logica, 1988, v. 47, n. 3, p. 243, doi. 10.1007/BF00370555
- By:
- Publication type:
- Article
7
Arithmetical completeness versus relative completeness.
- Published in:
- Studia Logica, 1988, v. 47, n. 3, p. 213, doi. 10.1007/BF00370552
- By:
- Publication type:
- Article
8
Stability of weak second-order semantics.
- Published in:
- Studia Logica, 1988, v. 47, n. 3, p. 193, doi. 10.1007/BF00370550
- By:
- Publication type:
- Article
9
A faithful embedding of parallel computations in star-finite models.
- Published in:
- Studia Logica, 1988, v. 47, n. 3, p. 203, doi. 10.1007/BF00370551
- By:
- Publication type:
- Article
10
Nonstandard methods in combinatorics and theoretical computer science.
- Published in:
- Studia Logica, 1988, v. 47, n. 3, p. 181, doi. 10.1007/BF00370549
- By:
- Publication type:
- Article