The Lattice Problem for Models of Pa

&
Bulletin of Symbolic Logic:1-30 (forthcoming)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/bsl.2025.3

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,809

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Interstructure Lattices and Types of Peano Arithmetic, The Graduate Center, City University of New York, USA, 2017. Supervised by Roman Kossak.Athar Abdul-Quader - 2018 - Bulletin of Symbolic Logic 24 (2):202-203.
James H. Schmerl's eight papers on models of PA. [REVIEW]Roman Kossak - 2009 - Bulletin of Symbolic Logic 15 (2):222-226.
The complexity of classification problems for models of arithmetic.Samuel Coskey & Roman Kossak - 2010 - Bulletin of Symbolic Logic 16 (3):345-358.
Survey of the steinhaus tiling problem.Steve Jackson & R. Daniel Mauldin - 2003 - Bulletin of Symbolic Logic 9 (3):335-361.
Towards Finding a Lattice that Characterizes the -Fickle Recursively Enumerable Turing Degrees.Liling Ko - 2021 - Bulletin of Symbolic Logic 27 (4):528-528.
Philadelphia, PA, USA May 18–20, 2011.Anjolina G. de Oliveira, Ruy de Queiroz, Rajeev Alur, Max Kanovich, John Mitchell, Vladimir Voevodsky, Yoad Winter & Michael Zakharyaschev - 2012 - Bulletin of Symbolic Logic 18 (1).
Some remarks on initial segments in models of peano arithmetic.Henryk Kotlarski - 1984 - Journal of Symbolic Logic 49 (3):955-960.
Carnegie Mellon University, Pittsburgh, PA May 19–23, 2004.John Baldwin, Lev Beklemishev, Michael Hallett, Valentina Harizanov, Steve Jackson, Kenneth Kunen, Angus J. MacIntyre, Penelope Maddy, Joe Miller & Michael Rathjen - 2005 - Bulletin of Symbolic Logic 11 (1).
The Pentagon as a Substructure Lattice of Models of Peano Arithmetic.James H. Schmerl - forthcoming - Journal of Symbolic Logic:1-20.
MacNeille H. M.. Extension of a distributive lattice to a Boolean ring. Bulletin of the American Mathematical Society, vol. 45 , pp. 452–455. [REVIEW]Saunders Mac Lane - 1939 - Journal of Symbolic Logic 4 (3):134-134.

Analytics

Added to PP
2025-01-13

Downloads
3 (#1,850,007)

6 months
3 (#1,471,287)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Roman Kossak
City University of New York

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references