EUDML

Advanced Search

Currently displaying 1 – 5 of 5

Order by Relevance | Title | Year of publication

Axiomatic foundations for Nonstandard Analysis

Karel Hrbacek — 1978

Fundamenta Mathematicae

Model $\nabla [ω_{α} \to ω_{β}]$ in which $β$ is limit number

Karel Hrbáček — 1965

Commentationes Mathematicae Universitatis Carolinae

Measurable cardinals in some Gödelian set theories

Karel Hrbáček — 1966

Commentationes Mathematicae Universitatis Carolinae

A note on generalized Souslin's problem

Karel Hrbáček — 1967

Commentationes Mathematicae Universitatis Carolinae

Propositional extensions of $L_{ω} 1_{ω}$

Richard Gostanian; Karel Hrbacek — 1980

CONTENTS0. Preliminaries....................................................................... 71. Adding propositional connectives to $L_{ω} 1_{ω}$ ............... 82. The propositional part of $L_{ω} 1_{ω}$ (S)............................. 103. The operation S and the Boolean algebra $B_{S}$ ............... 114. General model-theoretic properties of $L_{ω} 1_{ω}$ (S)...... 175. Hanf number computations...................................................... 226. Negative results for $L_{ω} 1_{ω}$ (S)........................................ 277. Proposition...

Page 1

Download Results (CSV)

Advanced Search

Formula preview

Currently displaying 1 – 5 of 5

Axiomatic foundations for Nonstandard Analysis

Model ∇ [ ω α → ω β ] in which β is limit number

Measurable cardinals in some Gödelian set theories

A note on generalized Souslin's problem

Propositional extensions of L ω 1 ω

Model $\nabla [ω_{α} \to ω_{β}]$ in which $β$ is limit number

Propositional extensions of $L_{ω} 1_{ω}$