Works matching IS 09425616 AND DT 1997 AND VI 43 AND IP 3
Results: 16
Non-Complementedness and Non-Distributivity of Kleene Degrees.
- Published in:
- Mathematical Logic Quarterly, 1997, v. 43, n. 3, p. 378, doi. 10.1002/malq.19970430310
- By:
- Publication type:
- Article
On the Universal Splitting Property.
- Published in:
- Mathematical Logic Quarterly, 1997, v. 43, n. 3, p. 311, doi. 10.1002/malq.19970430303
- By:
- Publication type:
- Article
A Simplified Proof of the 0-1 Law for Existential Second-Order Ackermann Sentences.
- Published in:
- Mathematical Logic Quarterly, 1997, v. 43, n. 3, p. 413, doi. 10.1002/malq.19970430314
- By:
- Publication type:
- Article
Decidability in the Constructive Theory of Reals as an Ordered ℚ-vectorspace.
- Published in:
- Mathematical Logic Quarterly, 1997, v. 43, n. 3, p. 343, doi. 10.1002/malq.19970430307
- By:
- Publication type:
- Article
On Nondeterminism, Enumeration Reducibility and Polynomial Bounds.
- Published in:
- Mathematical Logic Quarterly, 1997, v. 43, n. 3, p. 287, doi. 10.1002/malq.19970430302
- By:
- Publication type:
- Article
Forcing in Finite Structures.
- Published in:
- Mathematical Logic Quarterly, 1997, v. 43, n. 3, p. 401, doi. 10.1002/malq.19970430313
- By:
- Publication type:
- Article
Infinitary S5-Epistemic Logic.
- Published in:
- Mathematical Logic Quarterly, 1997, v. 43, n. 3, p. 333, doi. 10.1002/malq.19970430306
- By:
- Publication type:
- Article
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1997, v. 43, n. 3, p. fmi, doi. 10.1002/malq.19970430301
- Publication type:
- Article
Non-standard Analysis in WKL<sub>0</sub>.
- Published in:
- Mathematical Logic Quarterly, 1997, v. 43, n. 3, p. 396, doi. 10.1002/malq.19970430312
- By:
- Publication type:
- Article
On the Difficulty of Writing Out formal Proofs in Arithmetic.
- Published in:
- Mathematical Logic Quarterly, 1997, v. 43, n. 3, p. 328, doi. 10.1002/malq.19970430305
- By:
- Publication type:
- Article
More on the Least Strongly Compact Cardinal.
- Published in:
- Mathematical Logic Quarterly, 1997, v. 43, n. 3, p. 427, doi. 10.1002/malq.19970430316
- By:
- Publication type:
- Article
An Interpretation of the Zermelo-Fraenkel Set Theory and the Kelley-Morse Set Theory in a Positive Theory.
- Published in:
- Mathematical Logic Quarterly, 1997, v. 43, n. 3, p. 369, doi. 10.1002/malq.19970430309
- By:
- Publication type:
- Article
On a Spector Ultrapower for the Solovay Model.
- Published in:
- Mathematical Logic Quarterly, 1997, v. 43, n. 3, p. 389, doi. 10.1002/malq.19970430311
- By:
- Publication type:
- Article
Constructive Sheaf Semantics.
- Published in:
- Mathematical Logic Quarterly, 1997, v. 43, n. 3, p. 321, doi. 10.1002/malq.19970430304
- By:
- Publication type:
- Article
Rudimentary Languages and Second-Order Logic.
- Published in:
- Mathematical Logic Quarterly, 1997, v. 43, n. 3, p. 419, doi. 10.1002/malq.19970430315
- By:
- Publication type:
- Article
On Remainder Equations.
- Published in:
- Mathematical Logic Quarterly, 1997, v. 43, n. 3, p. 355, doi. 10.1002/malq.19970430308
- By:
- Publication type:
- Article