Induction, minimization and collection for Δ<sub>n+1</sub>(T)–formulas.
- Published in:
- Archive for Mathematical Logic, 2004, v. 43, n. 4, p. 505, doi. 10.1007/s00153-003-0197-8
- By:
- Publication type:
- Article
Works matching IS 09335846 AND DT 2004 AND VI 43 AND IP 4
Results: 10
1
2
A note on a theorem of Kanovei.
- Published in:
- Archive for Mathematical Logic, 2004, v. 43, n. 4, p. 565, doi. 10.1007/s00153-004-0218-2
- By:
- Publication type:
- Article
3
Completeness theorem for propositional probabilistic models whose measures have only finite ranges.
- Published in:
- Archive for Mathematical Logic, 2004, v. 43, n. 4, p. 557, doi. 10.1007/s00153-004-0217-3
- By:
- Publication type:
- Article
4
Effectiveness for infinite variable words and the Dual Ramsey Theorem.
- Published in:
- Archive for Mathematical Logic, 2004, v. 43, n. 4, p. 543, doi. 10.1007/s00153-004-0216-4
- By:
- Publication type:
- Article
5
Product Ł ukasiewicz Logic.
- Published in:
- Archive for Mathematical Logic, 2004, v. 43, n. 4, p. 477, doi. 10.1007/s00153-004-0214-6
- By:
- Publication type:
- Article
6
On poset Boolean algebras of scattered posets with finite width.
- Published in:
- Archive for Mathematical Logic, 2004, v. 43, n. 4, p. 467, doi. 10.1007/s00153-003-0202-2
- By:
- Publication type:
- Article
7
Imaginaries in Hilbert spaces.
- Published in:
- Archive for Mathematical Logic, 2004, v. 43, n. 4, p. 459, doi. 10.1007/s00153-003-0200-4
- By:
- Publication type:
- Article
8
On unfoldable cardinals, ω-closed cardinals, and the beginning of the inner model hierarchy.
- Published in:
- Archive for Mathematical Logic, 2004, v. 43, n. 4, p. 443, doi. 10.1007/s00153-003-0199-6
- By:
- Publication type:
- Article
9
Professor Dr. Hans Hermes.
- Published in:
- Archive for Mathematical Logic, 2004, v. 43, n. 4, p. 425, doi. 10.1007/s00153-004-0221-7
- Publication type:
- Article
10
Combinatorics of first order structures and propositional proof systems.
- Published in:
- Archive for Mathematical Logic, 2004, v. 43, n. 4, p. 427, doi. 10.1007/s00153-003-0186-y
- By:
- Publication type:
- Article