Coverart for item
The Resource Models, algebras, and proofs : selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá, edited by Xavier Caicedo, Carlos H. Montenegro

Models, algebras, and proofs : selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá, edited by Xavier Caicedo, Carlos H. Montenegro

Label
Models, algebras, and proofs : selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá
Title
Models, algebras, and proofs
Title remainder
selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá
Statement of responsibility
edited by Xavier Caicedo, Carlos H. Montenegro
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
DLC
Dewey number
511.3
Index
index present
LC call number
QA9.A1
LC item number
L37 1996
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
1996
http://bibfra.me/vocab/lite/meetingName
Latin-American Symposium on Mathematical Logic
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorDate
  • 1944-
  • 1958-
http://library.link/vocab/relatedWorkOrContributorName
  • Caicedo, Xavier
  • Montenegro, Carlos H.
Series statement
Lecture notes in pure and applied mathematics
Series volume
203
http://library.link/vocab/subjectName
Logic, Symbolic and mathematical
Label
Models, algebras, and proofs : selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá, edited by Xavier Caicedo, Carlos H. Montenegro
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Generic Absoluteness and Forcing Axioms / J. Bagaria -- Partition of the Reals and Choice / C. A. Di Prisco and J. M. Henle -- Analogues of the MacDowell-Specker Theorem for Set Theory / A. Enayat -- Strict Genericity / S. D. Friedman -- Weak Versions of the Axiom of Choice for Families of Finite Sets / C. H. Montenegro -- Heights of Models of ZFC and the Existence of End Elementary Extensions / A. Villaveces -- On the (Infinite) Model Theory of Fixed Point Logics / J. Flum -- Stable Banach Spaces and Banach Space Structures: I. Fundamentals / J. Iovino -- Stable Banach Spaces and Banach Space Structures: II. Forking and Compact Topologies / J. Iovino -- Induction, Games, and Linear Orderings / J. Oikkonen -- Query Completeness, Distinguishability, and Relational Machines / J. M. Turull Torres -- Ideals in Quasivarieties of Algebras / W. J. Blok and J. G. Raftery -- Amalgamation and Interpolation in Abstract Algebraic Logic / J. Czelakowski and D. Pigozzi -- Symmetric-Intuitionistic Connectives / A. Galli and M. Sagastume -- Matrix Semantics for Annotated Logics / R. A. Lewin, I. F. Mikenberg and M. G. Schwarze -- Twenty Questions with Many-Valued Answers / D. Mundici and G. Panti -- Monadic De Morgan Algebras / A. Petrovich -- Inductive Theorem Proving in Hierarchical Conditional Specifications / J. Avenhaus and K. Madlener -- General Combinatorial Principles in Second Order Bounded Arithmetic / R. De Castro -- Towards an Information Logic / M. Garzon -- Standardizing the N Systems of Gentzen / E. G. K. Lopez-Escobar -- Translations Between Logics / J. J. Da Silva, I. M. L. D'Ottaviano and A. M. Sette
Control code
40052216
Dimensions
26 cm
Extent
xiii, 448 pages
Isbn
9780824719708
Isbn Type
(alk. paper)
Lccn
98045734
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Label
Models, algebras, and proofs : selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá, edited by Xavier Caicedo, Carlos H. Montenegro
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Generic Absoluteness and Forcing Axioms / J. Bagaria -- Partition of the Reals and Choice / C. A. Di Prisco and J. M. Henle -- Analogues of the MacDowell-Specker Theorem for Set Theory / A. Enayat -- Strict Genericity / S. D. Friedman -- Weak Versions of the Axiom of Choice for Families of Finite Sets / C. H. Montenegro -- Heights of Models of ZFC and the Existence of End Elementary Extensions / A. Villaveces -- On the (Infinite) Model Theory of Fixed Point Logics / J. Flum -- Stable Banach Spaces and Banach Space Structures: I. Fundamentals / J. Iovino -- Stable Banach Spaces and Banach Space Structures: II. Forking and Compact Topologies / J. Iovino -- Induction, Games, and Linear Orderings / J. Oikkonen -- Query Completeness, Distinguishability, and Relational Machines / J. M. Turull Torres -- Ideals in Quasivarieties of Algebras / W. J. Blok and J. G. Raftery -- Amalgamation and Interpolation in Abstract Algebraic Logic / J. Czelakowski and D. Pigozzi -- Symmetric-Intuitionistic Connectives / A. Galli and M. Sagastume -- Matrix Semantics for Annotated Logics / R. A. Lewin, I. F. Mikenberg and M. G. Schwarze -- Twenty Questions with Many-Valued Answers / D. Mundici and G. Panti -- Monadic De Morgan Algebras / A. Petrovich -- Inductive Theorem Proving in Hierarchical Conditional Specifications / J. Avenhaus and K. Madlener -- General Combinatorial Principles in Second Order Bounded Arithmetic / R. De Castro -- Towards an Information Logic / M. Garzon -- Standardizing the N Systems of Gentzen / E. G. K. Lopez-Escobar -- Translations Between Logics / J. J. Da Silva, I. M. L. D'Ottaviano and A. M. Sette
Control code
40052216
Dimensions
26 cm
Extent
xiii, 448 pages
Isbn
9780824719708
Isbn Type
(alk. paper)
Lccn
98045734
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n

Library Locations

    • Thomas Jefferson LibraryBorrow it
      1 University Blvd, St. Louis, MO, 63121, US
      38.710138 -90.311107
Processing Feedback ...