81
by Harzheim, Egbert
Published 2005
Springer US
Table of Contents: ... and their chains and antichains -- Linearly ordered sets -- Products of orders -- Universally ordered sets...

82
Published 2018
Springer New York
Table of Contents: ...-Belinskii type for planar quasiregular mappings (Golberg) -- Families of Universal Taylor Series depending...

83
by Crossley, J.N., Nerode, A.
Published 1974
Springer Berlin Heidelberg
Table of Contents: ... Case -- 26. Extensions of Solutions of Equations -- 27. Universal Horn Sentences -- 28. Universal...

84
by Barnes, D.W., Mack, J.M.
Published 1975
Springer New York
Table of Contents: ...I Universal Algebra -- II Propositional Calculus -- III Properties of the Propositional Calculus...

85
by Manin, Yu. I.
Published 2010
Springer New York
Table of Contents: ...;s Incompleteness Theorem -- Recursive Groups -- Constructive Universe and Computation -- MODEL THEORY -- Model...

86
by Chang, Chen Chung
Published 1990
North-Holland
Table of Contents: .... The Fundamental Theorem. Measurable Cardinals. Regular Ultrapowers. Nonstandard Universes; Saturated and Special...

87
by Moschovakis, Yiannis N.
Published 1980
North-Holland
Table of Contents: ...8C. Definability in the universe of sets8D. Gödel's model of constructible sets; 8E. Absoluteness...

88
by Kracht, Marcus
Published 1999
Elsevier
Table of Contents: ... of Modal Logic. Universal algebra and duality theory. Definability and correspondence. Reducing polymodal...

89
by Vopěnka, Petr
Published 1972
North-Holland Pub. Co.
Table of Contents: ...SECTION 2. MODEL-CLASSES AND SET-UNIVERSAL RELATIONS. INDEPENDENCE OF AXIOM (D3)SECTION 3...

90
Published 1987
Springer Berlin Heidelberg
Table of Contents: ...: Uniform construction of relatively free or generic structures -- Simple superstable theories -- Universal...

91
Published 1997
Springer Netherlands
Table of Contents: ... as Real Closed Rings -- On Universal Words for Automorphism Groups of Linear Orders...

92
by Devlin, K. J.
Published 1979
Springer New York
Table of Contents: ...-valued universe. -- 3. The boolean-valued universe. -- 4. VB and V. -- 5. Boolean-valued sets...

93
Published 1977
Springer Berlin Heidelberg
Table of Contents: ... -- Universal algebras and tree automata -- Vectors of coroutines over blikle nets -- Initial algebraic...

94
by Wang, Hao
Published 1963
Elsevier Science
Table of Contents: ... of arithmetic -- Computation -- Variant to Turing's theory of calculating machines -- Universal Turing machines...

95
Published 2015
Springer International Publishing
Table of Contents: ... and Beyond, Wolfgang Thomas -- 3. The Stored-Program Universal Computer: Did Zuse Anticipate Turing and von...

96
by Sanchis, Luis E.
Published 1988
Springer New York
Table of Contents: .... Interpreters -- §2. A Universal Interpreter -- §3. Two Constructions -- §4. The Recursion Theorem -- §5...

97
by Sanchis, Luis E.
Published 1992
North-Holland
Table of Contents: .... Formalization: Reductional Semantics; Chapter 11. Interpreters; Chapter 12. A Universal Interpreter; Chapter 13...

98
Published 1981
Springer Berlin Heidelberg
Table of Contents: ... objects -- Heyting valued universes of intuitionistic set theory -- Independence of a problem...

99
Published 2003
Springer Berlin Heidelberg
Table of Contents: ... Refutation in Propositional Logic -- Universal Biochip Readout of Directed Hamiltonian Path Problems...

100
Published 1997
Springer Netherlands
Table of Contents: ... Models in Biology -- The Natural Numbers as a Universal Library -- Mathematical Symmetry Principles...