Model theory of the inaccessibility scheme.
- Published in:
- Archive for Mathematical Logic, 2011, v. 50, n. 7/8, p. 697, doi. 10.1007/s00153-011-0242-y
- By:
- Publication type:
- Article
Works matching IS 09335846 AND DT 2011 AND VI 50 AND IP 7/8
Results: 10
1
2
Higher complexity search problems for bounded arithmetic and a formalized no-gap theorem.
- Published in:
- Archive for Mathematical Logic, 2011, v. 50, n. 7/8, p. 665, doi. 10.1007/s00153-011-0240-0
- By:
- Publication type:
- Article
3
Limit computable integer parts.
- Published in:
- Archive for Mathematical Logic, 2011, v. 50, n. 7/8, p. 681, doi. 10.1007/s00153-011-0241-z
- By:
- Publication type:
- Article
4
Level by level inequivalence beyond measurability.
- Published in:
- Archive for Mathematical Logic, 2011, v. 50, n. 7/8, p. 707, doi. 10.1007/s00153-011-0243-x
- By:
- Publication type:
- Article
5
Axiomatizability by $${{\forall}{\exists}!}$$-sentences.
- Published in:
- Archive for Mathematical Logic, 2011, v. 50, n. 7/8, p. 713, doi. 10.1007/s00153-011-0244-9
- By:
- Publication type:
- Article
6
Proof complexity of propositional default logic.
- Published in:
- Archive for Mathematical Logic, 2011, v. 50, n. 7/8, p. 727, doi. 10.1007/s00153-011-0245-8
- By:
- Publication type:
- Article
7
Consistency strength of higher chang's conjecture, without CH.
- Published in:
- Archive for Mathematical Logic, 2011, v. 50, n. 7/8, p. 759, doi. 10.1007/s00153-011-0247-6
- By:
- Publication type:
- Article
8
One-basedness and groups of the form G/ G.
- Published in:
- Archive for Mathematical Logic, 2011, v. 50, n. 7/8, p. 743, doi. 10.1007/s00153-011-0246-7
- By:
- Publication type:
- Article
9
On the conservativity of the axiom of choice over set theory.
- Published in:
- Archive for Mathematical Logic, 2011, v. 50, n. 7/8, p. 777, doi. 10.1007/s00153-011-0248-5
- By:
- Publication type:
- Article
10
MAD families of projections on l and real-valued functions on ω.
- Published in:
- Archive for Mathematical Logic, 2011, v. 50, n. 7/8, p. 791, doi. 10.1007/s00153-011-0249-4
- By:
- Publication type:
- Article