Set Theory and Hierarchy Theory V

Bierutowice, Poland 1976

AvA. Lachlan,M. Srebrny

Häftad, Engelska, 1977

Del 619 i serien Lecture Notes in Mathematics

391 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1977-11-01
Mått:155 x 235 x 20 mm
Vikt:557 g
Format:Häftad
Språk:Engelska, Franska
Serie:Lecture Notes in Mathematics
Antal sidor:360
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540085218

Utforska kategorier

Matematik inom Naturvetenskap och teknik

Innehållsförteckning

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.

Du kanske också är intresserad av

Nyhet

L'amour toujours : Berättelsen om Tidö

Maggie Strömberg, Torbjörn Nilsson

Inbunden, 2026

275 kr

Del 619

Cottage Garden

Twigs Way

Häftad, 2011

112 kr

Del 619

Innovations in Distribution Logistics

Luca Bertazzi, M. Grazia Speranza, Jo van Nunen

Häftad, 2009

1 105 kr

Del 619

Bootstrap Methods

Michael R. Chernick

Inbunden, 2007

1 898 kr

Del 619

Ubiquitin-dependent Protein Degradation

Hochstrasser,Mar, Mark Hochstrasser

Inbunden, 2019

2 494 kr

Set Theory and Hierarchy Theory

A. Zarach, M. Srebrny, W. Marek

E-bok

2006

568 kr

Del 537

Set Theory and Hierarchy Theory

W. Marek, M. Srebrny, A. Zarach

Häftad, 1976

446 kr

Del 619

Deep Foundations for Infrastructure Development in India, Volume 1

Dhananjay L. Shah, Jaykumar Shukla, Deepankar Choudhury

Häftad, 2026

2 422 kr

Miguel Botto-Tobar, Omar S. Gómez, Raul Rosero Miranda, Angela Díaz Cadena, Washington Luna-Encalada - Trends in Artificial Intelligence and Computer Engineering, Häftad

Del 619

Trends in Artificial Intelligence and Computer Engineering

Miguel Botto-Tobar, Omar S. Gómez, Raul Rosero Miranda, Angela Díaz Cadena, Washington Luna-Encalada

Häftad, 2023

2 494 kr

Del 619

Advanced Technologies in Electronics, Communications and Signal Processing

Krishna Kishore Koganti, Sreenivasa Rao E., Nishu Gupta

Häftad, 2025

1 024 kr

Set Theory and Hierarchy Theory V

Bierutowice, Poland 1976

AvA. Lachlan,M. Srebrny

Häftad, Engelska, 1977

Del 619 i serien Lecture Notes in Mathematics

391 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1977-11-01
Mått:155 x 235 x 20 mm
Vikt:557 g
Format:Häftad
Språk:Engelska, Franska
Serie:Lecture Notes in Mathematics
Antal sidor:360
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540085218

Utforska kategorier

Matematik inom Naturvetenskap och teknik

Innehållsförteckning

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.