Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik

Propositional extensions of $L_ω_1_ω$

100%

Gostanian R., Hrbacek K.

Instytut Matematyczny Polskiej Akademii Nauk

CONTENTS 0. Preliminaries....................................................................... 7 1. Adding propositional connectives to $L_ω_1_ω$............... 8 2. The propositional part of $L_ω_1_ω$ (S)............................. 10 3. The operation S and the Boolean algebra $B_S$............... 11 4. General model-theoretic properties of $L_ω_1_ω$(S)...... 17 5. Hanf number computations...................................................... 22 6. Negative results for $L_ω_1_ω$(S)........................................ 27 7. Proposition al extensions of $L_ω_1_ω$ a in the constructible universe...................................................... 34 8. The Souslin connective.............................................................. 44 9. Concluding remarks................................................................... 49 References....................................................................................... 53

Axiomatic foundations for Nonstandard Analysis

56%

Hrbacek K.

Fundamenta Mathematicae

1978

tom 98

nr 1

1-19

Ograniczanie wyników

1 Fundamenta Mathematicae

2 Hrbacek K.

1 Gostanian R.

1 1980

1 1978

Wyniki wyszukiwania

Propositional extensions of $L_ω_1_ω$

Axiomatic foundations for Nonstandard Analysis