Zobrazeno 1 - 10
of 76
pro vyhledávání: '"Proper, Scott"'
Autor:
Gitman, Victoria
Publikováno v:
The Journal of Symbolic Logic, 2008 Sep 01. 73(3), 845-860.
Externí odkaz:
https://www.jstor.org/stable/27590301
Autor:
Victoria Gitman
Publikováno v:
J. Symbolic Logic 73, iss. 3 (2008), 845-860
Some 40 years ago, Dana Scott proved that every countable Scott set is the standard system of a model of PA. Two decades later, Knight and Nadel extended his result to Scott sets of size !1. Here, I show that assuming the Proper Forcing Axiom (PFA),
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d9c9c9539ed61bb76397625512b28a68
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Proper, Scott.
Thesis (Ph. D.)--Oregon State University, 2010.
Printout. Includes bibliographical references (leaves 121-123). Also available on the World Wide Web.
Printout. Includes bibliographical references (leaves 121-123). Also available on the World Wide Web.
Externí odkaz:
http://hdl.handle.net/1957/13662
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Proper, Scott, Tadepalli, Prasad
Publikováno v:
Inductive Logic Programming (9783642138393); 2010, p186-193, 8p
Publikováno v:
Machine Learning: ECML 2006; 2006, p735-742, 8p
Autor:
GOUBAULT-LARRECQ, JEAN, XIAODONG JIA
Publikováno v:
Logical Methods in Computer Science (LMCS); 2024, Vol. 20 Issue 4, p7:1-7:15, 15p
Autor:
Hertling, Peter1 (AUTHOR) peter.hertling@unibw.de
Publikováno v:
Semigroup Forum. Jun2022, Vol. 104 Issue 3, p618-646. 29p.
Autor:
Piacenza, Joseph R., Proper, Scott, Bozorgirad, Mir Abbas, Hoyle, Christopher, Tumer, Irem Y.
Publikováno v:
Journal of Risk and Uncertainty in Engineering Systems, Part B: Mechanical Engineering; June 2017, Vol. 3 Issue: 2 p021006-021006, 1p