×

Found 112 Documents (Results 1–100)

100
MathJax

Sets of good indiscernibles and Chang conjectures without choice. (English) Zbl 1358.03072

Geschke, Stefan (ed.) et al., Infinity, computability and metamathematics. Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch. London: College Publications (ISBN 978-1-84890-130-8/hbk). 113-137 (2014).
PDF BibTeX XML Cite

New. (English) Zbl 1342.68090

Berger, Ulrich (ed.) et al., Proceedings of the 28th conference on the mathematical foundations of programming semantics (MFPS XXVIII), Bath, UK, June 6–9, 2012. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 286, 17-42 (2012).
PDF BibTeX XML Cite
Full Text: DOI

Projective sets and cardinal numbers: some questions related to the continuum problem. (English) Zbl 1261.03143

Kechris, Alexander S. (ed.) et al., Wadge degrees and projective ordinals. The Cabal Seminar, Vol. II. Reprints of papers and new material based on the Los Angeles Caltech-UCLA Logic Cabal Seminar 1976–1985. Cambridge: Cambridge University Press; Ithaca, NY: Association of Symbolic Logic (ASL) (ISBN 978-0-521-76203-8/hbk). Lecture Notes in Logic 37, 484-508 (2012).
MSC:  03E15 03E60
PDF BibTeX XML Cite

Several proofs of PA-unprovability. (English) Zbl 1084.03045

Blass, Andreas (ed.) et al., Logic and its applications. Result of the conference on logic and its applications in algebra and geometry, Ann Arbor, MI, USA, April 11–13, 2003 and the workshop on combinatorial set theory, excellent classes, and Schanuel conjecture, Ann Arbor, MI, USA, April 14–15, 2003. Providence, RI: American Mathematical Society (AMS) (ISBN 0-8218-3474-6/pbk). Contemporary Mathematics 380, 29-43 (2005).
MSC:  03F30 03H15 03C98
PDF BibTeX XML Cite

The Ramsey structure of \(A\)-determined sets in a \(\kappa\)-saturated universe. (English) Zbl 0944.03044

Buss, Samuel R. (ed.) et al., Logic colloquium ’98. Proceedings of the annual European summer meeting of the Association for Symbolic Logic, Prague, Czech Republic, August 9-15, 1998. Natick, MA: A K Peters, Ltd. Lect. Notes Log. 13, 316-333 (2000).
PDF BibTeX XML Cite

David’s trick. (English) Zbl 0939.03052

Cooper, S. Barry (ed.) et al., Sets and proofs. Invited papers from the Logic colloquium ’97, European meeting of the Association for Symbolic Logic, Leeds, UK, July 6-13, 1997. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 258, 67-71 (1999).
MSC:  03E45
PDF BibTeX XML Cite
Full Text: arXiv

Monadic NP and graph minors. (English) Zbl 0933.03038

Gottlob, Georg (ed.) et al., Computer science logic. 12th international workshop, CSL ’98, annual conference of the EACSL, Brno, Czech Republic, August 24–28, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1584, 126-141 (1999).
MSC:  03C13 68Q19 03B15 03D15 05C40
PDF BibTeX XML Cite

Independence structures in set theory. (English) Zbl 0863.03027

Hodges, Wilfrid (ed.) et al., Logic: from foundations to applications. European logic colloquium, Keele, UK, July 20–29, 1993. Oxford: Clarendon Press. 277-311 (1996).
MSC:  03E65 03E25 03A05
PDF BibTeX XML Cite

Stability in model theory. Transl. from the French by J. E. Wallington. (English) Zbl 0678.03015

Pitman Monographs and Surveys in Pure and Applied Mathematics, 36. Harlow: Longman Scientific & Technical; New York: John Wiley & Sons, Inc. 193 p. £26.00 (1987).
Reviewer: M.Weese
MSC:  03C45 03-02 03-01
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Year of Publication

all top 3

Classification

Biographic Reference

Software