Search Results

Skip to Site Navigation

Skip to Site Search

124 Results

Page:   1 2 3 4 5 6 Next

Relations between cardinalities of the finite sequences and the finite subsets of a set Early View

  • Journal: Mathematical Logic Quarterly
  • Authors: Navin Aksornthong, Pimpen Vejjajiva
  • Published Date: Nov 19, 2018

Abstract We write seq ( m ) and ...

A remark on pseudo proof systems and hard instances of the satisfiability problem Early View

  • Journal: Mathematical Logic Quarterly
  • Authors: Jan Maly, Moritz Müller
  • Published Date: Nov 20, 2018

Abstract We link two concepts from the literature, namely hard sequences for the satisfiability problem sat and so‐called pseudo proof systems proposed for study by Krajíček. Pseudo...

Remarks on the NIP in a model Early View

  • Journal: Mathematical Logic Quarterly
  • Authors: Karim Khanaki, Anand Pillay
  • Published Date: Nov 20, 2018

Abstract We define the notion φ ( x , y ) ...

Short refutations for an equivalence‐chain principle for constant‐depth formulas Early View

  • Journal: Mathematical Logic Quarterly
  • Authors: Sam Buss, Ramyaa Ramyaa
  • Published Date: Nov 20, 2018

Abstract We consider tautologies expressing equivalence‐chain properties in the spirit of Thapen and Krajíček, which are candidates for exponentially separating depth k and...

Topological elementary equivalence of regular semi‐algebraic sets in three‐dimensional space Early View

  • Journal: Mathematical Logic Quarterly
  • Authors: Floris Geerts, Bart Kuijpers
  • Published Date: Dec 03, 2018

Abstract We consider semi‐algebraic sets and properties of these sets that are expressible by sentences in first‐order logic over the reals. We are interested in...

Which subsets of an infinite random graph look random? Early View

  • Journal: Mathematical Logic Quarterly
  • Authors: Will Brian
  • Published Date: Dec 17, 2018

Abstract Given a countable graph, we say a set A of its vertices is universal if it contains every countable graph as an induced subgraph, and A is weakly universal if it contains...

Some transfinite natural sums Early View

  • Journal: Mathematical Logic Quarterly
  • Authors: Paolo Lipparini
  • Published Date: Dec 17, 2018

Abstract We study a transfinite iteration of the ordinal Hessenberg natural sum obtained by taking suprema at limit stages. We show that such an iterated natural sum...

Categoricity and universal classes Early View

  • Journal: Mathematical Logic Quarterly
  • Authors: Tapani Hyttinen, Kaisa Kangas
  • Published Date: Dec 17, 2018

Abstract Let ( K , ⊆ ) be a...

Page:   1 2 3 4 5 6 Next
Search within results

Start new search

Topic

Topic Search Options

Subject Topics Listing

  •  Biostatistics
  •  Business & Economics
  •  Engineering
  •  Environmental
  •  Methods
  •  Social Sciences

Content Filter

Content Filter Options

Content Types Listing

  • Pages/Blocks (0)

Site Footer

Address:

This website is provided by John Wiley & Sons Limited, The Atrium, Southern Gate, Chichester, West Sussex PO19 8SQ (Company No: 00641132, VAT No: 376766987)

Published features on StatisticsViews.com are checked for statistical accuracy by a panel from the European Network for Business and Industrial Statistics (ENBIS)   to whom Wiley and StatisticsViews.com express their gratitude. This panel are: Ron Kenett, David Steinberg, Shirley Coleman, Irena Ograjenšek, Fabrizio Ruggeri, Rainer Göb, Philippe Castagliola, Xavier Tort-Martorell, Bart De Ketelaere, Antonio Pievatolo, Martina Vandebroek, Lance Mitchell, Gilbert Saporta, Helmut Waldl and Stelios Psarakis.