×

Found 747 Documents (Results 1–100)

100
MathJax

A model-theoretic approach to proof theory. Edited by Zofia Adamowicz, Teresa Bigorajska and Konrad Zdanowski. (English) Zbl 1471.03001

Trends in Logic – Studia Logica Library 51. Cham: Springer (ISBN 978-3-030-28920-1/hbk; 978-3-030-28921-8/ebook). xiv, 109 p. (2019).
PDF BibTeX XML Cite
Full Text: DOI

The atomic theory of division and intersection of semiring ideals. (English. Russian original) Zbl 1398.16042

J. Math. Sci., New York 233, No. 5, 724-731 (2018); translation from Fundam. Prikl. Mat. 21, No. 1, 181-191 (2016).
MSC:  16Y60 16D25 03C62
PDF BibTeX XML Cite
Full Text: DOI

Sets and computations. (English) Zbl 1375.03006

Lecture Notes Series. Institute for Mathematical Sciences. National University of Singapore 33. Hackensack, NJ: World Scientific (ISBN 978-981-3223-51-6/hbk; 978-981-3223-53-0/ebook). x, 269 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI

Categoricity results for second-order ZF in dependent type theory. (English) Zbl 1468.03012

Ayala-Rincón, Mauricio (ed.) et al., Interactive theorem proving. 8th international conference, ITP 2017, Brasília, Brazil, September 26–29, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10499, 304-318 (2017).
PDF BibTeX XML Cite
Full Text: DOI

Open determinacy for class games. (English) Zbl 1423.03200

Caicedo, Andrés Eduardo (ed.) et al., Foundations of mathematics. Logic at Harvard. Essays in honor of W. Hugh Woodin’s 60th birthday. Proceedings of the Logic at Harvard conference, Harvard University, Cambridge, MA, USA, March 27–29, 2015. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 690, 121-143 (2017).
MSC:  03E60 03E30 03C62
PDF BibTeX XML Cite
Full Text: DOI arXiv

Completeness of Hoare logic relative to the standard model. (English) Zbl 1444.03122

Steffen, Bernhard (ed.) et al., SOFSEM 2017: theory and practice of computer science. 43rd international conference on current trends in theory and practice of computer science, Limerick, Ireland, January 16–20, 2017, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10139, 119-131 (2017).
MSC:  03B70 03C62 03F30
PDF BibTeX XML Cite
Full Text: DOI arXiv

Notes on various versions of Friedman’s self-embedding theorem. (English) Zbl 1429.03146

Cégielski, Patrick (ed.) et al., Studies in weak arithmetics. Volume 3. Papers based on the conference “Journées sur les Arithmétiques Faibles (Weak Arithmetics Days)” (JAF33), University of Gothenburg, Gothenburg, Sweden, June 16–18, 2014 and the conference (JAF34), CUNY, New York, NY, USA, July 7–9, 2015. Stanford, CA: CSLI Publications. CSLI Lect. Notes 217, 231-241 (2016).
MSC:  03C62 03F30 03H15
PDF BibTeX XML Cite

Submodel lattices of existentially closed models of arithmetic. (English) Zbl 1429.03145

Cégielski, Patrick (ed.) et al., Studies in weak arithmetics. Volume 3. Papers based on the conference “Journées sur les Arithmétiques Faibles (Weak Arithmetics Days)” (JAF33), University of Gothenburg, Gothenburg, Sweden, June 16–18, 2014 and the conference (JAF34), CUNY, New York, NY, USA, July 7–9, 2015. Stanford, CA: CSLI Publications. CSLI Lect. Notes 217, 153-170 (2016).
MSC:  03C62 03F30 03C45
PDF BibTeX XML Cite

Near-linearity and open induction. (English) Zbl 1429.03144

Cégielski, Patrick (ed.) et al., Studies in weak arithmetics. Volume 3. Papers based on the conference “Journées sur les Arithmétiques Faibles (Weak Arithmetics Days)” (JAF33), University of Gothenburg, Gothenburg, Sweden, June 16–18, 2014 and the conference (JAF34), CUNY, New York, NY, USA, July 7–9, 2015. Stanford, CA: CSLI Publications. CSLI Lect. Notes 217, 131-151 (2016).
MSC:  03C62 03F30 11U10
PDF BibTeX XML Cite

\(\Delta_0\)-definability of Dedekind sums. (English) Zbl 1429.03152

Cégielski, Patrick (ed.) et al., Studies in weak arithmetics. Volume 3. Papers based on the conference “Journées sur les Arithmétiques Faibles (Weak Arithmetics Days)” (JAF33), University of Gothenburg, Gothenburg, Sweden, June 16–18, 2014 and the conference (JAF34), CUNY, New York, NY, USA, July 7–9, 2015. Stanford, CA: CSLI Publications. CSLI Lect. Notes 217, 47-56 (2016).
PDF BibTeX XML Cite

Flexibility in fragments of Peano arithmetic. (English) Zbl 1429.03207

Cégielski, Patrick (ed.) et al., Studies in weak arithmetics. Volume 3. Papers based on the conference “Journées sur les Arithmétiques Faibles (Weak Arithmetics Days)” (JAF33), University of Gothenburg, Gothenburg, Sweden, June 16–18, 2014 and the conference (JAF34), CUNY, New York, NY, USA, July 7–9, 2015. Stanford, CA: CSLI Publications. CSLI Lect. Notes 217, 1-20 (2016).
PDF BibTeX XML Cite

Studies in weak arithmetics. Volume 3. Papers based on the conference “Journées sur les Arithmétiques Faibles (Weak Arithmetics Days)” (JAF33), University of Gothenburg, Gothenburg, Sweden, June 16–18, 2014 and the conference (JAF34), CUNY, New York, NY, USA, July 7–9, 2015. (English) Zbl 1375.03005

CSLI Lecture Notes 217. Stanford, CA: CSLI Publications (ISBN 978-1-57586-953-7/pbk). x, 241 p. (2016).
PDF BibTeX XML Cite

On strong fragments of Peano arithmetic. (English) Zbl 1379.03019

Arazim, Pavel (ed.) et al., The Logica yearbook 2014. Proceedings of the 28th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 16–20, 2014. London: College Publications (ISBN 978-1-84890-177-3/pbk). 281-291 (2015).
MSC:  03F30 03C62
PDF BibTeX XML Cite

On the structure of classical realizability models of ZF. (English) Zbl 1434.03054

Herbelin, Hugo (ed.) et al., 20th international conference on types for proofs and programs, TYPES’14, Paris, France, May 12–15, 2014. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 39, 146-161 (2015).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Kripke models built from models of arithmetic. (English) Zbl 1326.03073

Aher, Martin (ed.) et al., Logic, language, and computation. 10th international Tbilisi symposium on logic, language, and computation, TbiLLC 2013, Gudauri, Georgia, September 23–27, 2013. Revised selected papers. Berlin: Springer (ISBN 978-3-662-46905-7/pbk; 978-3-662-46906-4/ebook). Lecture Notes in Computer Science 8984, 157-174 (2015).
MSC:  03F45 03B45 03C62
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software