EUDML

Currently displaying 1 – 11 of 11

Order by Relevance | Title | Year of publication

On the metamathematics of impredicative set theory

W. Marek — 1973

CONTENTSIntroduction....................................................................................... 50. Set theory M.................................................................................. 61. Reflection principles in M.......................................................... 122. The trees....................................................................................... 183. Ordinal trees. Constructibility in M........................................... 254. Minimal model...

ω-models of second order arithmetic and admissible sets

W. Marek — 1978

Fundamenta Mathematicae

Some comments on the paper by Artigue, Isambert, Perrin and Zalc

W. Marek — 1978

Fundamenta Mathematicae

Stable sets, a characterization of $β_{2}$ -models of full second order arithmetic and some related facts

W. Marek — 1974

Fundamenta Mathematicae

Spectrum of L

W. Marek; K. Rasmussen — 1983

CONTENTS0. Motivation, results to be used in the sequel ................51. Slicing $L_{α}$ ’s ..........................................................102. Hereditarily countable, definable elements ................133. Spectrum of L.............................................................154. The width of elements of spectrum ............................195. Non-uniform strong definability ..................................266. Solution to a problem of Wilmers................................327....

On the number of models of the Kelley-Morse theory of classes

W. Marek; Paweł Zbierski — 1980

Fundamenta Mathematicae

Some properties of stationary sets

C. A. Di Prisco; W. Marek — 1983

CONTENTSIntroduction..................................................................51. Derivative of a stationary set...................................72. Stationary degrees ...............................................133. Subsets of $P_{ϰ} (λ)$ ..............................................194. Stationary subsets of $P_{ϰ} (λ)$ .............................255. Superstationary substes of $P_{ϰ} (λ)$ ....................326. End-stationary subsets of $P_{ϰ} (λ)$ ......................34References................................................................37...

Lax descent theorems for left exact categories

Zawadowski Marek W. — 1995

Abstract We study the 2-category of categories with finite limits, Lex. We characterise descent, effective descent and chain descent morphisms. These classes of morphisms do not coincide in Lex. We also study relations between these and other naturally arising classes of conservative morphisms. We define, in a semantical way, a new false quotient-strongly conservative factorisation in Lex. We prove that the iteration of the descent construction eventually "stops" at this factorisation....

Derivatives of noninteger order and their applications

Marek W. Michalski — 1993

CONTENTS Introduction........................................................................................................................................5I. Derivatives of noninteger order.........................................................................................................6II. Characteristic problem for the Mangeron polyvibrating equation of noninteger order....................17 1. The problem................................................................................................................................17 2....