My Account Log in

3 options

Set Theory and Hierarchy Theory V / edited by Alistair Lachlan, Marian Srebrny, Andrzej Zarach.

Online

Available online

View online
Math/Physics/Astronomy Library QA3 .L28 v.1-999 470,523,830,849:2nd ed. v.1000-1722,1762,1781,1799-2099,2100-2192-2218 2219-2223-2258,2260-2271,2273-2274-2277,2279-2281,2283-2289,2291,2293-2294,2296,2298-2299,2300-2311,2313-2366,2368-2379,2381-2382 2385,2388-2389
Loading location information...

Mixed Availability Some items are available, others may be requested.

Log in to request item
LIBRA QA3 .L28 Scattered vols.
Loading location information...

Mixed Availability Some items are available, others may be requested.

Log in to request item
Format:
Book
Contributor:
Lachlan, Alistair, editor.
Srebrny, Marian, 1947- editor.
Zarach, A. (Andrzej), 1948- editor.
SpringerLink (Online service)
Series:
Lecture Notes in Mathematics, 0075-8434 ; 619.
Lecture Notes in Mathematics, 0075-8434 ; 619
Language:
English
Subjects (All):
Mathematics.
Mathematics, general.
Local Subjects:
Mathematics, general.
Physical Description:
1 online resource (VIII, 360 pages).
Contained In:
Springer eBooks
Place of Publication:
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1977.
System Details:
text file PDF
Contents:
Constructible semi-lattices of degrees of constructibility
Refining systems on Boolean algebras
The Lindenbaum-algebra of the theory of well-orders and Abelian groups with the quantifier Q?
Extendability of structures as infinitary property
A reduction of the theory of types
Random forcing
Topological problems in alternative set theory
On the Baire property of Boolean algebras
The relation between ? - ? procedures and the infinitely small in nonstandard methods
Structures ? - saturee
On the inhomogenity of the set of P(m)-points of ?*
On the projective class of the continuum hypothesis
A survey of finite-type Recursion
Initial segments of models of Peano's axioms
On the rules of proof generated by hierarchies
On cardinal numbers in Quine's New Foundations
The theory of the class HOD
Construction of nice trees
Differential calculus in the alternative set theory
The consistency of the theory ZF+L1?HOD
On the decidability of the theory of linear orderings in the language L(Q1)
On the theories of end-extensions of models of arithmetic
Some properties of filters
More constructively about the constructibility.
Other Format:
Printed edition:
ISBN:
9783540370321
Access Restriction:
Restricted for use by site license.

The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.

My Account

Shelf Request an item Bookmarks Fines and fees Settings

Guides

Using the Library Catalog Using Articles+ Library Account