The anti-Specker property, uniform sequential continuity, and a countable compactness property.
- Published in:
- Logic Journal of the IGPL, 2011, v. 19, n. 1, p. 174, doi. 10.1093/jigpal/jzq039
- By:
- Publication type:
- Article
Works matching IS 13670751 AND DT 2011 AND VI 19 AND IP 1
Results: 16
1
2
A new principle in the interpretability logic of all reasonable arithmetical theories.
- Published in:
- Logic Journal of the IGPL, 2011, v. 19, n. 1, p. 1, doi. 10.1093/jigpal/jzp082
- By:
- Publication type:
- Article
3
The logic of distributive bilattices.
- Published in:
- Logic Journal of the IGPL, 2011, v. 19, n. 1, p. 183, doi. 10.1093/jigpal/jzq041
- By:
- Publication type:
- Article
4
Classes of algebras without the amalgamation property.
- Published in:
- Logic Journal of the IGPL, 2011, v. 19, n. 1, p. 87, doi. 10.1093/jigpal/jzq014
- By:
- Publication type:
- Article
5
Classes and theories of trees associated with a class of linear orders.
- Published in:
- Logic Journal of the IGPL, 2011, v. 19, n. 1, p. 217, doi. 10.1093/jigpal/jzq043
- By:
- Publication type:
- Article
6
On a conservative extension argument of Dana Scott.
- Published in:
- Logic Journal of the IGPL, 2011, v. 19, n. 1, p. 241, doi. 10.1093/jigpal/jzq046
- By:
- Publication type:
- Article
7
Ranking and unranking algorithms for loopless generation of t-ary trees.
- Published in:
- Logic Journal of the IGPL, 2011, v. 19, n. 1, p. 33, doi. 10.1093/jigpal/jzp097
- By:
- Publication type:
- Article
8
Propositional proof compressions and DNF logic.
- Published in:
- Logic Journal of the IGPL, 2011, v. 19, n. 1, p. 62, doi. 10.1093/jigpal/jzq003
- By:
- Publication type:
- Article
9
On nonrepresentable G-polyadic algebras with representable cylindric reducts.
- Published in:
- Logic Journal of the IGPL, 2011, v. 19, n. 1, p. 105, doi. 10.1093/jigpal/jzq021
- By:
- Publication type:
- Article
10
Completion and amalgamation of bounded distributive quasi lattices.
- Published in:
- Logic Journal of the IGPL, 2011, v. 19, n. 1, p. 110, doi. 10.1093/jigpal/jzq022
- By:
- Publication type:
- Article
11
A Routley-Meyer semantics for relevant logics including TWR plus the disjunctive syllogism.
- Published in:
- Logic Journal of the IGPL, 2011, v. 19, n. 1, p. 18, doi. 10.1093/jigpal/jzp083
- By:
- Publication type:
- Article
12
Omniscience, sequential compactness, and the anti-Specker property.
- Published in:
- Logic Journal of the IGPL, 2011, v. 19, n. 1, p. 53, doi. 10.1093/jigpal/jzq001
- By:
- Publication type:
- Article
13
Phase semantics for linear-time formalism.
- Published in:
- Logic Journal of the IGPL, 2011, v. 19, n. 1, p. 121, doi. 10.1093/jigpal/jzq023
- By:
- Publication type:
- Article
14
Existentially equivalent cyclic ultrametric spaces and cyclically valued groups1.
- Published in:
- Logic Journal of the IGPL, 2011, v. 19, n. 1, p. 144, doi. 10.1093/jigpal/jzq024
- By:
- Publication type:
- Article
15
On atomicity of free algebras in certain cylindric-like varieties.
- Published in:
- Logic Journal of the IGPL, 2011, v. 19, n. 1, p. 44, doi. 10.1093/jigpal/jzp098
- By:
- Publication type:
- Article
16
On representable ordered residuated semigroups.
- Published in:
- Logic Journal of the IGPL, 2011, v. 19, n. 1, p. 233, doi. 10.1093/jigpal/jzq044
- By:
- Publication type:
- Article