Publication | Closed Access
Completeness by Forcing
17
Citations
15
References
2010
Year
Theory Of ComputingApplied LogicComputational LogicNon-classical LogicJournal Article CompletenessEngineeringIncompletenessAutomated ReasoningNomi CityOther WorksFormal MethodsMathematical FoundationsModel TheoryComputer ScienceFormal SystemComputability Theory
Journal Article Completeness by Forcing Get access Daniel Găină, Daniel Găină Japan Advanced Institute of Science and Technology, Nomi City, Japan. E-mail: daniel@jaist.ac.jp Search for other works by this author on: Oxford Academic Google Scholar Marius Petria Marius Petria University of Edinburgh, Edinburgh, Scotland, UK. E-mail: marius.petria@ed.ac.uk Search for other works by this author on: Oxford Academic Google Scholar Journal of Logic and Computation, Volume 20, Issue 6, December 2010, Pages 1165–1186, https://doi.org/10.1093/logcom/exq012 Published: 25 February 2010 Article history Received: 05 June 2008 Published: 25 February 2010
| Year | Citations | |
|---|---|---|
Page 1
Page 1