Geodesic
Independent Sets of Axioms In Lκα
Canadian mathematical bulletin, Tome 24 (1981) no. 2, pp. 219-223

Voir la notice de l'article provenant de la source Cambridge University Press

A set of sentences T is called independent if for every . It is countably independent if every countable subset is independent. In flnitary first order logic, L ωω, the two notions coincide because of compactness. This is not the case for infinitary logic. 
Caicedo, Xavier. Independent Sets of Axioms In Lκα. Canadian mathematical bulletin, Tome 24 (1981) no. 2, pp. 219-223. doi: 10.4153/CMB-1981-034-x
@article{10_4153_CMB_1981_034_x,
     author = {Caicedo, Xavier},
     title = {Independent {Sets} of {Axioms} {In} {L\ensuremath{\kappa}\ensuremath{\alpha}}},
     journal = {Canadian mathematical bulletin},
     pages = {219--223},
     year = {1981},
     volume = {24},
     number = {2},
     doi = {10.4153/CMB-1981-034-x},
     url = {http://geodesic.mathdoc.fr/articles/10.4153/CMB-1981-034-x/}
}
TY  - JOUR
AU  - Caicedo, Xavier
TI  - Independent Sets of Axioms In Lκα
JO  - Canadian mathematical bulletin
PY  - 1981
SP  - 219
EP  - 223
VL  - 24
IS  - 2
UR  - http://geodesic.mathdoc.fr/articles/10.4153/CMB-1981-034-x/
DO  - 10.4153/CMB-1981-034-x
ID  - 10_4153_CMB_1981_034_x
ER  - 
%0 Journal Article
%A Caicedo, Xavier
%T Independent Sets of Axioms In Lκα
%J Canadian mathematical bulletin
%D 1981
%P 219-223
%V 24
%N 2
%U http://geodesic.mathdoc.fr/articles/10.4153/CMB-1981-034-x/
%R 10.4153/CMB-1981-034-x
%F 10_4153_CMB_1981_034_x

[1] 1. Barwise, K. J., Axioms for abstract Model Theory, Annals of Math. Logic, 7, 221. 265 (1974). Google Scholar

[2] 2. López-Escobar, E. G. K., An interpolation theorem for denumerably long formulas, Fundamenta Mathematicae, LVII, 253. 272 (1965). Google Scholar

[3] 3. Reznikoff, M. I., Tout ensemble de formules de la logique classique est equivalent á un ensemble independant, C.R. Acad. Se. Paris, 260, 2385. 2388 (1965). Google Scholar

[4] 4. Rubin, J. E., Set theory for the Mathematician, (1967). Google Scholar

[(5)] (5) Tarski, A., Note in C. R. Soc. Se. Letters Varsovie III, 23 (1923). Google Scholar

Cité par Sources :